| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | document -profile in dev/doc/setup.txt |  Enrico Tassi | 2018-03-06 |
| * | Stop talking about debian in "A note about rlwrap" |  Gaëtan Gilbert | 2018-01-08 |
| * | [build] Remove coqmktop in favor of ocamlfind. |  Emilio Jesus Gallego Arias | 2017-12-10 |
| * | Normalize deprecation notices of ./configure |  Théo Zimmermann | 2017-06-11 |
| * | setup.txt : a guide explaining taming Emacs, Merlin, Company, Ocamldebug. |  Matej Kosik | 2016-05-03 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |