info/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2025-08-01 04:20:39 +02:00
Code Issues Releases Wiki Activity

Back to coq highlighting

Browse Source
This commit is contained in:
Adam Bard
2019-11-24 13:39:20 -08:00
committed by GitHub
parent ee4b278dcf
commit 06e05c4ce3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
coq.html.markdown
View File

@@ -16,7 +16,7 @@ The standard usage model of Coq is to write it with interactive tool assistance,
Inside Proof General `Ctrl+C Ctrl+<Enter>` will evaluate up to your cursor.
```ocaml
```coq
(*** Comments ***)
(* Comments are enclosed in (* and *). It's fine to nest comments. *)