aboutsummaryrefslogtreecommitdiff
path: root/ide/preferences.mli
AgeCommit message (Expand)Author
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
2012-04-17Coqide: the coqtop to launch is a preference.pboutill
2012-04-14Coqide input encoding preference is an algebraic type.pboutill
2012-04-11Added a background color configuration option in CoqIDE.ppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
2011-09-01Add preferences to say how to deal with a project file.pboutill
2011-06-10Menubar and toolbar in coqide using GtkUI & Gactions.pboutill
2011-01-06Reverted r13715 "Add improved indenters that rely on the current proof state ...gmelquio
2010-12-14Add improved indenters that rely on the current proof state to choose the ind...gmelquio
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-02-15Change the customization of modifiers (bug #2210)vgross
2009-08-14Tried to make F1 documentation tool working in CoqIDE.herbelin
2009-06-08Change in UI behaviour : proof folding is now done by double clicking. Delay isvgross
2008-05-28add option to change modifiers of display menujnarboux
2008-05-08** Efficacité, bugs, robustesse CoqIDE **herbelin
2007-04-16Add the possibility to change the position of tabs in main window (from r9717).glondu
2006-10-13Ajout des options Coqide suggérées par Damien Doligez (wish #1053)notin
2005-01-21Compatibilité ocamlweb pour cible docherbelin
2004-07-16Nouvelle en-têteherbelin
2003-12-30ameliorations coqidecoq
2003-12-08preferencesmarche
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 11:31:12 +0000