Commit message (Expand) | Author | Age | |
---|---|---|---|
* | document -profile in dev/doc/setup.txt | 2018-03-06 | |
* | Stop talking about debian in "A note about rlwrap" | 2018-01-08 | |
* | [build] Remove coqmktop in favor of ocamlfind. | 2017-12-10 | |
* | Normalize deprecation notices of ./configure | 2017-06-11 | |
* | setup.txt : a guide explaining taming Emacs, Merlin, Company, Ocamldebug. | 2016-05-03 |