| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | [/]+ 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 |