aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide_ui.ml
Commit message (Expand)AuthorAge
* User queries can be terminated with "...".Gravatar Cyprien Mangin2016-06-02
* Add user-created queries to CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Add a [Show Proof.] query to CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Remove Whelp commands.Gravatar Maxime Dénès2015-02-17
* Wg_Find: regex + case insensitive find/replace supportGravatar gareuselesinge2013-10-22
* wg_Command: detachable, less "from the 80s", query paneGravatar gareuselesinge2013-09-30
* Add a (very minimal) Proof General mode to CoqIDEGravatar gareuselesinge2013-08-08
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Added a way to change dynamically coqtop arguments in CoqIDE.Gravatar ppedrot2013-07-27
* Coqide: view -> zoom in / out / fitGravatar gareuselesinge2013-05-06
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* Better handling of escape find in CoqIDEGravatar ppedrot2013-01-25
* More monomorphizationsGravatar ppedrot2012-11-13
* Added Print Assumptions command to CoqIDEGravatar ppedrot2012-09-10
* Added a comment/uncomment command to CoqIDEGravatar ppedrot2012-09-06
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Renamed Undo to conform to CoqIDE widget naming convention. In addition,Gravatar ppedrot2012-05-05
* Coqide coq lexer put one tag at the end of a sentence.Gravatar pboutill2012-05-02
* Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...Gravatar ppedrot2012-04-23
* Cleaning up preferences and hooks in CoqIDEGravatar ppedrot2012-04-18
* Added a tab changing command in CoqIDE and moved display options aroundGravatar ppedrot2012-04-18
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
* Menubar and toolbar in coqide using GtkUI & Gactions.Gravatar pboutill2011-06-10