aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide_ui.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-02-23Adding a Display Parentheses menu in CoqIDE.Hugo Herbelin
2020-02-05Merge PR #11414: Remove the Tactic menu from CoqIDE.Hugo Herbelin
2020-01-17Remove the CoqIDE "Revert all Buffers" command.Pierre-Marie Pédrot
2020-01-17Remove the Tactic menu from CoqIDE.Pierre-Marie Pédrot
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-07-26Remove the tactic wizard, as it has not worked for several years and no one c...Guillaume Melquiond
2019-03-18Latex to LaTexcharguer
2019-03-18latex to unicode in coqidecharguer
2018-11-11CoqIDE: remove obselete menu item "Complete word".Hugo Herbelin
2018-07-26Expose the diff printing option as an UI entry in CoqIDE.Pierre-Marie Pédrot
2017-05-04Adding an option "Printing Unfocused".Pierre Courtieu
2017-04-27Warning 29: non escaped end of line may be non portableGaetan Gilbert
2016-06-02User queries can be terminated with "...".Cyprien Mangin
2016-06-02Add user-created queries to CoqIDE.Cyprien Mangin
2016-06-02Add a [Show Proof.] query to CoqIDE.Cyprien Mangin
2015-02-17Remove Whelp commands.Maxime Dénès
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-07-27Added a way to change dynamically coqtop arguments in CoqIDE.ppedrot
2013-05-06Coqide: view -> zoom in / out / fitgareuselesinge
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2013-01-25Better handling of escape find in CoqIDEppedrot
2012-11-13More monomorphizationsppedrot
2012-09-10Added Print Assumptions command to CoqIDEppedrot
2012-09-06Added a comment/uncomment command to CoqIDEppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
2012-05-02Coqide coq lexer put one tag at the end of a sentence.pboutill
2012-04-23Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...ppedrot
2012-04-18Cleaning up preferences and hooks in CoqIDEppedrot
2012-04-18Added a tab changing command in CoqIDE and moved display options aroundppedrot
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-06-10Menubar and toolbar in coqide using GtkUI & Gactions.pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:08:10 +0000