aboutsummaryrefslogtreecommitdiff
path: root/ide/preferences.ml
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-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-09-10CoqIDE: removing option contextual menu on goal, inactive since 2da5db43c.Hugo Herbelin
2019-09-10Moving configuration of coqide.keys to the coqide executable.Hugo Herbelin
2019-09-10Being more informative on the steps of selection of the preference file.Hugo Herbelin
2019-09-10Making a bit clearer that CoqIDE modifier menu is for global modifier change.Hugo Herbelin
2019-09-10Fixing #8269: adding callback on changed modifiers only after pref loading.Hugo Herbelin
2019-07-26Remove the tactic wizard, as it has not worked for several years and no one c...Guillaume Melquiond
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-04-30Renaming nanoPG to microPG.Hugo Herbelin
2019-04-27CoqIDE, cosmetic: removing obsolete comments.Hugo Herbelin
2019-04-27CoqiDE: Load coqide.keys after coqiderc (addressing part of #9899).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: Adding configurable color for incompletely processed Qed.Hugo Herbelin
2019-03-19CoqIDE: Using Grid instead of Table.Hugo Herbelin
2019-03-19CoqIDE: Replacing deprecated color_of_string with color_parse.Hugo Herbelin
2019-03-19CoqIDE: Now calling destroy signal via widget_signals.Hugo Herbelin
2019-03-19CoqIDE: Deactivating the user queries and wizard tactics configuration.Hugo Herbelin
2019-03-19CoqIDE: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2019-03-18final polishing for coqide bindingscharguer
2019-03-18implementation installation of default unicode bindingscharguer
2019-03-18bindings files storagecharguer
2019-03-18support for coqide commande line argumentscharguer
2019-03-18working set of bindingscharguer
2019-03-18latex to unicode in coqidecharguer
2019-02-28Merge PR #9621: [ide] only use Coq_config for the URL of the manualPierre-Marie Pédrot
2019-02-27[ide] only use Coq_config for the URL of the manualEnrico Tassi
2019-02-27[ide] coqtop -> coqidetop in user messagesEnrico Tassi
2018-12-17CoqIDE: Restoring configuration of default width/height of main window.Hugo Herbelin
2018-11-11CoqIDE: ensure that the configuration box is not hidden by the main window.Hugo Herbelin
2018-10-16[clib] Deprecate string functions available in OCaml 4.05Emilio Jesus Gallego Arias
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
2018-10-01[lib] [flags] Move private IDE functions to `ide`Emilio Jesus Gallego Arias
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-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-20Default colors for CoqIDE are actually applied.Cyprien Mangin
2017-06-01Bump year in headers.Maxime Dénès
2017-05-30Merge PR#356: Making management of installation directories more structured, ...Maxime Dénès
2017-05-29Relying on computation done in Envars to discover the installation directories.Hugo Herbelin
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-04-27Use [method!] to override methods (warning 7)Gaetan Gilbert
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2016-11-11Coqide: fixing default local links for refman and stdlib.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:55:09 +0000