| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Coq_makefile: -extra & -phony-extra for user defined makefile rule |  pboutill | 2013-01-07 |
| * | Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS | pboutill | 2012-09-12 |
| * | Bugs revealed by playing with contribs | pboutill | 2012-05-25 |
| * | Cleaned prerr_endline use. |  ppedrot | 2012-05-23 |
| * | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill | 2012-05-23 |
| * | Coq_makefile: if no -install is provided, install location is set by a Makefi... | pboutill | 2011-12-17 |
| * | Teach coq_makefile how to install into XDG_DATA_HOME. | pboutill | 2011-11-20 |
| * | Coq_makefile handles .mlpack files | pboutill | 2011-10-26 |
| * | Coq_makefile: bugfix in install rule | pboutill | 2011-09-02 |
| * | 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 | 2011-09-01 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |