aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.ml
Commit message (Expand)AuthorAge
* Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.Gravatar Pierre-Marie Pédrot2016-09-27
* User queries can be terminated with "...".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
* Add user-created queries to CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Add a [Show Proof.] query to CoqIDE.Gravatar Cyprien Mangin2016-06-02
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-02-21
|\
| * CoqIDE: STOP button also stops workers (fix #4542)Gravatar Enrico Tassi2016-02-19
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-15
|\|
| * Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | 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
|/
* 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