| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging |  pboutill | 2011-06-14 |
| * | Coqide Menubar integration in MacOS | pboutill | 2011-06-10 |
| * | Menubar and toolbar in coqide using GtkUI & Gactions. | pboutill | 2011-06-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |