aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq-ssreflect.lang
Commit message (Collapse)AuthorAge
* use \ocaml macro in Extraction chapter; accept OCaml in Extraction LanguageGravatar Paul Steckler2017-12-05
|
* Fixing bug #4233: The command Restart is not fontified correctly.Gravatar Pierre-Marie Pédrot2015-06-07
|
* CoqIDE: options for syntax highlightingGravatar Enrico Tassi2014-04-10