Commit message (Expand) | Author | Age | |
---|---|---|---|
* | CoqIde files position is freedesktop compliant. | 2011-12-18 | |
* | coqide default pref files are by default in /etc/xdg/coq/ | 2011-11-21 | |
* | CoqIdE configuration file won't pollute your home anymore | 2011-11-20 | |
* | Coq_makefile : bug when a project file is not in the current directory. | 2011-09-01 | |
* | safe_prerr_endline in Minilib | 2011-09-01 | |
* | same_file in Minilib | 2011-09-01 | |
* | Creation of ide/project_file.ml4 | 2011-09-01 | |
* | Menubar and toolbar in coqide using GtkUI & Gactions. | 2011-06-10 | |
* | Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args | 2011-03-28 | |
* | Ide: more reorganisation and cleanup | 2011-03-25 |