aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/interface.mli
Commit message (Expand)AuthorAge
* [stm] Remove edit_id.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [ide protocol] Add comment about leftover parameter.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Fix documentation typos.Gravatar Guillaume Melquiond2017-01-27
* 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-09
|\|
| * Goptions: new value type: optional stringGravatar Enrico Tassi2015-10-08
* | Rich printing of CoqIDE protocol failure.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of goals.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding rich printing primitives.Gravatar Pierre-Marie Pédrot2015-09-20
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...Gravatar Regis-Gianas2014-11-04
* ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Gravatar Regis-Gianas2014-11-04
* Factored out IDE goal structure.Gravatar Carst Tankink2014-10-01
* CoqIDE: new message to print ASTGravatar Enrico Tassi2014-09-29
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25