Commit message (Expand) | Author | Age | |
---|---|---|---|
* | use \ocaml macro in Extraction chapter; accept OCaml in Extraction Language | 2017-12-05 | |
* | Fixing bug #4233: The command Restart is not fontified correctly. | 2015-06-07 | |
* | CoqIDE: options for syntax highlighting | 2014-04-10 |