| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-06-15 | Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BIN | pboutill |
| 2012-06-14 | coq_makefile fixup | pboutill |
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2011-11-20 | coqrc in the right XDG_CONFIG_HOME/coq folder | pboutill |
| 2011-11-20 | Add support for XDG_DATA_HOME and XDG_DATA_DIRS. | pboutill |
| 2011-09-27 | In Coq_config: get rid of coqsrc and make coqlib optional | glondu |
| 2011-04-28 | coqtop -config returns coq returns coq environments at exection time | pboutill |
| 2011-04-14 | Add directories in COQPATH to search path. | herbelin |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-06-22 | New script dev/tools/change-header to automatically update Coq files headers. | herbelin |
| 2010-04-29 | Move from ocamlweb to ocamdoc to generate mli documentation | pboutill |
| 2008-12-19 | Nettoyage des variables Coq et amélioration de coqmktop. Les | notin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |