Commit message (Expand) | Author | Age | |
---|---|---|---|
* | More monomorphizations | ppedrot | 2012-11-13 |
* | Added Print Assumptions command to CoqIDE | ppedrot | 2012-09-10 |
* | Added a comment/uncomment command to CoqIDE | ppedrot | 2012-09-06 |
* | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill | 2012-05-23 |
* | Renamed Undo to conform to CoqIDE widget naming convention. In addition, | ppedrot | 2012-05-05 |
* | Coqide coq lexer put one tag at the end of a sentence. | pboutill | 2012-05-02 |
* | Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ... | ppedrot | 2012-04-23 |
* | Cleaning up preferences and hooks in CoqIDE | ppedrot | 2012-04-18 |
* | Added a tab changing command in CoqIDE and moved display options around | ppedrot | 2012-04-18 |
* | 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 |