aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.ml
Commit message (Expand)AuthorAge
* Open the file chooser even if there is no current session. (Fix bug #4206)Gravatar Guillaume Melquiond2015-04-26
* Use the directory of the current session for selecting files to open.Gravatar Guillaume Melquiond2015-04-03
* CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Gravatar Enrico Tassi2015-04-02
* CoqIDE: load first _CoqProject file found and notify the userGravatar Enrico Tassi2015-03-11
* CoqIDE: restore module/proof name in info barGravatar Enrico Tassi2015-03-11
* Fixing bug #4073.Gravatar Pierre-Marie Pédrot2015-02-20
* Remove Whelp commands.Gravatar Maxime Dénès2015-02-17
* Fixing bug #4023 again.Gravatar Pierre-Marie Pédrot2015-02-17
* Tentative fix for bug #2855.Gravatar Pierre-Marie Pédrot2015-02-17
* CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)Gravatar Enrico Tassi2015-02-17
* Selection of the current word in CoqIDE looks at all buffers.Gravatar Pierre-Marie Pédrot2015-02-13
* Fixing bug #3261.Gravatar Pierre-Marie Pédrot2015-02-12
* 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: better messagesGravatar Enrico Tassi2014-12-17
* Ensuring that ide_slave and stm receive only .v files from CoqIDE.Gravatar Hugo Herbelin2014-12-07
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Fixing bug #3404.Gravatar Pierre-Marie Pédrot2014-08-24
* Enabling drag & drop on the source view widgets.Gravatar Pierre-Marie Pédrot2014-08-24
* Ide: Drop argument added by MacOS during .app launchGravatar Pierre Boutillier2014-07-22
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Support dropping files over the coqide window. (Partial fix for bug #2765)Gravatar Guillaume Melquiond2014-06-19
* CoqIDE: options for syntax highlightingGravatar Enrico Tassi2014-04-10
* Allowing proof view to be detached in CoqIDE.Gravatar Pierre-Marie Pédrot2014-04-07
* Move error and job display to the lower right pane.Gravatar Guillaume Melquiond2014-03-04
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* CoqIDE: command line for extra coqtop "flags"Gravatar Enrico Tassi2014-01-26
* CoqIDE: ported to spawnGravatar Enrico Tassi2014-01-26
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* Wg_Find: regex + case insensitive find/replace supportGravatar gareuselesinge2013-10-22
* CoqIDE: display in the errors window also the slaves statusGravatar gareuselesinge2013-10-22
* CoqIDE: when jumping to an error also move the cursorGravatar gareuselesinge2013-10-03
* CoqIDE: use #present to raise error windowGravatar gareuselesinge2013-09-30
* Backtrace.record_backtrace in CoqIDE tooGravatar gareuselesinge2013-09-30
* wg_Command: detachable, less "from the 80s", query paneGravatar gareuselesinge2013-09-30
* fix error reporting window size calculationGravatar gareuselesinge2013-09-13
* CoqIDE: new async error reporting window and slaves statusGravatar gareuselesinge2013-09-13
* CoqIDE: show number of proofs being checked in backgroundGravatar gareuselesinge2013-09-12
* More robust argument setter in CoqIDE. It does not crash anymore on badGravatar ppedrot2013-09-04
* Add a (very minimal) Proof General mode to CoqIDEGravatar gareuselesinge2013-08-08
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Protecting every call to current_term in CoqIDE so that callbackGravatar ppedrot2013-07-27
* Added a way to change dynamically coqtop arguments in CoqIDE.Gravatar ppedrot2013-07-27
* Coqide: view -> zoom in / out / fitGravatar gareuselesinge2013-05-06
* raise UnsafeSuccess -> feedback AddedAxiomGravatar gareuselesinge2013-04-25
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* Better encapsulation of MessageViewGravatar ppedrot2013-03-20
* CoqIDE: Including autocompletion in word proposalsGravatar ppedrot2013-02-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 11:03:57 +0000