aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
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
2013-12-10Fix CoqIDE on windowsEnrico Tassi
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-03CoqIDE: when jumping to an error also move the cursorgareuselesinge
2013-09-30CoqIDE: use #present to raise error windowgareuselesinge
2013-09-30Backtrace.record_backtrace in CoqIDE toogareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-09-13fix error reporting window size calculationgareuselesinge
2013-09-13CoqIDE: new async error reporting window and slaves statusgareuselesinge
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-09-04More robust argument setter in CoqIDE. It does not crash anymore on badppedrot
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 02:01:03 +0000