iskm/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-12-23 17:41:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Try ocaml highlighting with coq

Browse Source
This commit is contained in:
Adam Bard 2019-11-19 11:18:49 -08:00 committed by GitHub
parent 4653df70c3
commit f1d03b0318
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats 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. Inside Proof General `Ctrl+C Ctrl+<Enter>` will evaluate up to your cursor.
```coq ```ocaml
(*** Comments ***) (*** Comments ***)
(* Comments are enclosed in (* and *). It's fine to nest comments. *) (* Comments are enclosed in (* and *). It's fine to nest comments. *)