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 |