| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-09-10 | Added Print Assumptions command to CoqIDE | ppedrot |
| 2012-09-06 | Added a comment/uncomment command to CoqIDE | ppedrot |
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-05-05 | Renamed Undo to conform to CoqIDE widget naming convention. In addition, | ppedrot |
| 2012-05-02 | Coqide coq lexer put one tag at the end of a sentence. | pboutill |
| 2012-04-23 | Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ... | ppedrot |
| 2012-04-18 | Cleaning up preferences and hooks in CoqIDE | ppedrot |
| 2012-04-18 | Added a tab changing command in CoqIDE and moved display options around | ppedrot |
| 2011-06-14 | Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging | pboutill |
| 2011-06-10 | Coqide Menubar integration in MacOS | pboutill |
| 2011-06-10 | Menubar and toolbar in coqide using GtkUI & Gactions. | pboutill |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |