aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [ide] Localize a IDE-specific flag.Gravatar Emilio Jesus Gallego Arias2018-02-15
* Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.Gravatar Pierre-Marie Pédrot2017-08-23
* Merge PR #823: Async off in Windows by default in CoqIDEGravatar Maxime Dénès2017-07-28
|\
* | Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
| * disable async on Windows by defaultGravatar Paul Steckler2017-06-26
|/
* Adding an option "Printing Unfocused".Gravatar Pierre Courtieu2017-05-04
* [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [ide] Dynamic printing width.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [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
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-27
|\
| * Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.Gravatar Pierre-Marie Pédrot2016-06-27
* | [feedback] Remove unused tag on `Debug` level.Gravatar Emilio Jesus Gallego Arias2016-06-25
* | xmlprotocol: Marshal_error carries the reasonGravatar Enrico Tassi2016-06-06
* | Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-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
* | Remove some unused functions.Gravatar Guillaume Melquiond2016-01-02
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | Do not canonicalize messages received by CoqIDE.Gravatar Pierre-Marie Pédrot2015-09-20
* | Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Coqide: check_connection now also checks correct loading of coqide plugin +Gravatar Hugo Herbelin2014-08-05
* Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...Gravatar Hugo Herbelin2014-06-30
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* CoqIDE: removing a timer may raise an exceptionGravatar Enrico Tassi2014-04-10
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* remove trailing '\r' from file names returned by coqtopGravatar Virgile Prevosto2014-03-06
* CoqIDE: when coqtop misbehaves kill it properly (no zombie)Gravatar Enrico Tassi2014-02-17
* 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
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* Fix CoqIDE compilation under standard version of lablgtk2Gravatar Enrico Tassi2013-12-11
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* CoqIDE: do not fail hard if a message is asynchronousGravatar gareuselesinge2013-10-01
* CoqIDE ported to the revides protocolGravatar gareuselesinge2013-09-30
* More robust argument setter in CoqIDE. It does not crash anymore on badGravatar ppedrot2013-09-04
* stm: (initial) support for -coq-slavesGravatar gareuselesinge2013-08-08
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Added a way to change dynamically coqtop arguments in CoqIDE.Gravatar ppedrot2013-07-27
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* raise UnsafeSuccess -> feedback AddedAxiomGravatar gareuselesinge2013-04-25
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* interface.mli and serialize.ml reworked to avoid copy/paste of typesGravatar gareuselesinge2013-04-19
* Tentative heuristic fix to handle lexer failures from CoqIDE whenGravatar ppedrot2013-02-22