aboutsummaryrefslogtreecommitdiff
path: root/ide/preferences.mli
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-01-17Remove the Tactic menu from CoqIDE.Pierre-Marie Pédrot
2020-01-16Adding an option to change the autocompletion delay.Pierre-Marie Pédrot
2019-09-10CoqIDE: removing option contextual menu on goal, inactive since 2da5db43c.Hugo Herbelin
2019-09-10Being more informative on the steps of selection of the preference file.Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-04-30Renaming nanoPG to microPG.Hugo Herbelin
2019-04-08Fix #9812: CoqIDE on gtk3 has wrong defaults for selection BG.Pierre-Marie Pédrot
2019-03-22Merge PR #8560: Unicode bindings for CoqIDE that works out of the boxPierre-Marie Pédrot
2019-03-19CoqIDE: Now calling destroy signal via widget_signals.Hugo Herbelin
2019-03-19CoqIDE: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2019-03-18final polishing for coqide bindingscharguer
2019-03-18support for coqide commande line argumentscharguer
2019-03-18latex to unicode in coqidecharguer
2019-02-27[ide] only use Coq_config for the URL of the manualEnrico Tassi
2018-11-11CoqIDE: ensure that the configuration box is not hidden by the main window.Hugo Herbelin
2018-08-161) Make the diff setting a persistent settting.Jim Fehrle
2018-07-23Displays the differences between successive proof steps in coqtop and CoqIDE.Jim Fehrle
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-07-26Adding a flag in CoqIDE to configure UNIX/Windows line ending.Pierre-Marie Pédrot
2016-06-02Add an option to configure the modifier for Queries.Cyprien Mangin
2016-06-02Add user-created queries to CoqIDE.Cyprien Mangin
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-20Adding a tag preferencePierre-Marie Pédrot
2015-08-31Switching to an event-based mechanism for CoqIDE preferences.Pierre-Marie Pédrot
2015-08-26Replacing old-style preferences in CoqIDE.Pierre-Marie Pédrot
2015-08-16Using the new preference mechanism for colors in CoqIDE.Pierre-Marie Pédrot
2015-08-16Taking advantage of the new type of preferences.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-08-16Simplifying CoqIDE preferences mechanism.Pierre-Marie Pédrot
2015-02-15CoqIDE now remembers the path of the last opened project.Pierre-Marie Pédrot
2015-02-14Attempt to be more colorblind friendly in CoqIDE (Close #4024)Enrico Tassi
2015-01-12Update headers.Maxime Dénès
2015-01-05Adding an option to deactivate the progress bar.Pierre-Marie Pédrot
2014-04-10CoqIDE: options for syntax highlightingEnrico Tassi
2013-10-11CoqIDE: make error background configurablegareuselesinge
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
2012-08-08Updating headers.herbelin
2012-06-26Added the show_margin_right option to CoqIDEppedrot
2012-05-23Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.ppedrot
2012-05-13Tweaking options of CoqIDE.ppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-02Added a bunch of new options relative to editor.ppedrot
2012-05-02Better style handling in CoqIDEppedrot
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-05-02Source language and style are preferencespboutill
2012-04-18Cleaning up preferences and hooks in CoqIDEppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:08 +0000