| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | CoqIde files position is freedesktop compliant. |  pboutill | 2011-12-18 |
| * | coqide default pref files are by default in /etc/xdg/coq/ | pboutill | 2011-11-21 |
| * | CoqIdE configuration file won't pollute your home anymore | pboutill | 2011-11-20 |
| * | 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 |
| * | same_file in Minilib | pboutill | 2011-09-01 |
| * | [/]+ is equivalent to [/] in System and its copy | pboutill | 2011-09-01 |
| * | Creation of ide/project_file.ml4 | pboutill | 2011-09-01 |
| * | Menubar and toolbar in coqide using GtkUI & Gactions. | pboutill | 2011-06-10 |
| * | Attempt to use more local doc in coqide | pboutill | 2011-04-28 |
| * | Win32: remove the need for Coq.bat and Coqide.bat |  letouzey | 2011-04-21 |
| * | Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args | letouzey | 2011-03-28 |
| * | Ide: more reorganisation and cleanup | letouzey | 2011-03-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |