| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-12-17 | Coq_makefile: if no -install is provided, install location is set by a Makefi... | pboutill |
| 2011-11-20 | Teach coq_makefile how to install into XDG_DATA_HOME. | pboutill |
| 2011-10-26 | Coq_makefile handles .mlpack files | pboutill |
| 2011-09-02 | Coq_makefile: bugfix in install rule | pboutill |
| 2011-09-01 | Automatic search of project file | pboutill |
| 2011-09-01 | Coq_makefile : bug when a project file is not in the current directory. | pboutill |
| 2011-09-01 | safe_prerr_endline in Minilib | pboutill |
| 2011-09-01 | Add option -f to coqide | pboutill |
| 2011-09-01 | Creation of ide/project_file.ml4 | pboutill |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |