aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2016-09-27Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.Pierre-Marie Pédrot
2016-06-02User queries can be terminated with "...".Cyprien Mangin
2016-06-02Better sanitization of user queries in CoqIDE.Cyprien Mangin
2016-06-02Add an option to configure the modifier for Queries.Cyprien Mangin
2016-06-02Merge the user queries tab with the shortcut tab.Cyprien Mangin
2016-06-02Add user-created queries to CoqIDE.Cyprien Mangin
2016-06-02Add a [Show Proof.] query to CoqIDE.Cyprien Mangin
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-02-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-02-19CoqIDE: STOP button also stops workers (fix #4542)Enrico Tassi
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-10-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-13Fix some typos.Guillaume Melquiond
2015-09-20Rich printing of messages.Pierre-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-04-26Open the file chooser even if there is no current session. (Fix bug #4206)Guillaume Melquiond
2015-04-03Use the directory of the current session for selecting files to open.Guillaume Melquiond
2015-04-02CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Enrico Tassi
2015-03-11CoqIDE: load first _CoqProject file found and notify the userEnrico Tassi
2015-03-11CoqIDE: restore module/proof name in info barEnrico Tassi
2015-02-20Fixing bug #4073.Pierre-Marie Pédrot
2015-02-17Remove Whelp commands.Maxime Dénès
2015-02-17Fixing bug #4023 again.Pierre-Marie Pédrot
2015-02-17Tentative fix for bug #2855.Pierre-Marie Pédrot
2015-02-17CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)Enrico Tassi
2015-02-13Selection of the current word in CoqIDE looks at all buffers.Pierre-Marie Pédrot
2015-02-12Fixing bug #3261.Pierre-Marie Pédrot
2015-02-12Fixing bug #4023.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2015-01-05Adding an option to deactivate the progress bar.Pierre-Marie Pédrot
2014-12-17CoqIDE: better messagesEnrico Tassi
2014-12-07Ensuring that ide_slave and stm receive only .v files from CoqIDE.Hugo Herbelin
2014-08-25"allows to", like "allowing to", is improperJason Gross
2014-08-24Fixing bug #3404.Pierre-Marie Pédrot
2014-08-24Enabling drag & drop on the source view widgets.Pierre-Marie Pédrot
2014-07-22Ide: Drop argument added by MacOS during .app launchPierre Boutillier
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-06-19Support dropping files over the coqide window. (Partial fix for bug #2765)Guillaume Melquiond
2014-04-10CoqIDE: options for syntax highlightingEnrico Tassi
2014-04-07Allowing proof view to be detached in CoqIDE.Pierre-Marie Pédrot
2014-03-04Move error and job display to the lower right pane.Guillaume Melquiond
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-26CoqIDE: command line for extra coqtop "flags"Enrico Tassi
2014-01-26CoqIDE: ported to spawnEnrico Tassi
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 06:36:16 +0000