aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/preferences.ml
Commit message (Expand)AuthorAge
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
* | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
| * Default colors for CoqIDE are actually applied.Gravatar Cyprien Mangin2017-06-20
| * Bump year in headers.Gravatar Maxime Dénès2017-06-01
* | Merge PR#356: Making management of installation directories more structured, ...Gravatar Maxime Dénès2017-05-30
|\ \
| * | Relying on computation done in Envars to discover the installation directories.Gravatar Hugo Herbelin2017-05-29
* | | Fail on deprecated warning even for Ocaml > 4.02.3Gravatar Gaëtan Gilbert2017-05-28
|/ /
* | Use [method!] to override methods (warning 7)Gravatar Gaetan Gilbert2017-04-27
* | Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
|/
* Coqide: fixing default local links for refman and stdlib.Gravatar Hugo Herbelin2016-11-11
* Making explicit that a result is discarded (ocaml warning).Gravatar Hugo Herbelin2016-11-11
* CoqIDE preserves unknown preferences.Gravatar Pierre-Marie Pédrot2016-08-29
* Adding a flag in CoqIDE to configure UNIX/Windows line ending.Gravatar Pierre-Marie Pédrot2016-07-26
* User queries can be terminated with "...".Gravatar Cyprien Mangin2016-06-02
* Dynamic modifier for Queries menu in CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Better sanitization of user queries in CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Add an option to configure the modifier for Queries.Gravatar Cyprien Mangin2016-06-02
* Merge the user queries tab with the shortcut tab.Gravatar Cyprien Mangin2016-06-02
* Slightly better interface to edit queries.Gravatar Cyprien Mangin2016-06-02
* Add user-created queries to CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove unplugged button from the interface.Gravatar Guillaume Melquiond2016-01-01
| * CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' messageGravatar Enrico Tassi2015-12-14
| * Revert PMP's fix of #2498, which introduces an incompatibility with lablgtkGravatar Maxime Dénès2015-12-14
* | Use default GTK styles for CoqIDE tags.Gravatar Pierre-Marie Pédrot2015-09-26
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
* | Fixing unsetting of CoqIDE tags.Gravatar Pierre-Marie Pédrot2015-09-24
| * Change the default modifiers for navigation. (Fix bug #4295)Gravatar Guillaume Melquiond2015-09-21
* | Pluging in tag preferences into buffer printing.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding standard printing tags to CoqIDE.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding a tag preferenceGravatar Pierre-Marie Pédrot2015-09-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-13
|\|
| * Fixing bug #2498: Coqide navigation preferences delayed effect.Gravatar Pierre-Marie Pédrot2015-09-12
* | Switching to an event-based mechanism for CoqIDE preferences.Gravatar Pierre-Marie Pédrot2015-08-31
* | Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
* | Taking advantage of the new type of preferences.Gravatar Pierre-Marie Pédrot2015-08-16
* | Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
* | Simplifying CoqIDE preferences mechanism.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* Changing default for CoqIDE project to append arguments.Gravatar Pierre-Marie Pédrot2015-02-15
* CoqIDE now remembers the path of the last opened project.Gravatar Pierre-Marie Pédrot2015-02-15
* Attempt to be more colorblind friendly in CoqIDE (Close #4024)Gravatar Enrico Tassi2015-02-14
* Fixing bug #4023.Gravatar Pierre-Marie Pédrot2015-02-12
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding an option to deactivate the progress bar.Gravatar Pierre-Marie Pédrot2015-01-05
* CoqIDE: options for syntax highlightingGravatar Enrico Tassi2014-04-10
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* CoqIDE: make error background configurableGravatar gareuselesinge2013-10-11