aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.ml
Commit message (Expand)AuthorAge
* Remove GeoProof support.Gravatar Maxime Dénès2017-10-11
* use get_arguments, String.concat, remove -IGravatar Paul Steckler2017-09-06
* read flags from project file for Compile BufferGravatar Paul Steckler2017-09-05
* Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Gravatar Pierre-Marie Pédrot2017-08-23
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge PR#406: coq makefile2Gravatar Maxime Dénès2017-05-25
|\
| * CoqProject_file: API and code cleanup (tuples -> records)Gravatar Enrico Tassi2017-05-23
| * ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* | [vernac] Remove `Save.` command.Gravatar Emilio Jesus Gallego Arias2017-05-23
|/
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [ide] Use "log via feedback".Gravatar Emilio Jesus Gallego Arias2017-03-21
* [safe-string] ideGravatar Emilio Jesus Gallego Arias2017-03-14
* 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