| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | use \ocaml macro in Extraction chapter; accept OCaml in Extraction Language |  Paul Steckler | 2017-12-05 |
| | | |||
| * | Fixing bug #4233: The command Restart is not fontified correctly. |  Pierre-Marie Pédrot | 2015-06-07 |
| | | |||
| * | CoqIDE: options for syntax highlighting |  Enrico Tassi | 2014-04-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |