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