aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/xmlprotocol.mli
Commit message (Expand)AuthorAge
* [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [ide] richpp clenaupGravatar 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
* [feedback] Allow messages to carry a location.Gravatar Emilio Jesus Gallego Arias2016-06-25
* Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-06-02
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Using GADTs in Xmlprotocol.Gravatar Pierre-Marie Pédrot2015-10-22
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Gravatar Regis-Gianas2014-11-04
* CoqIDE: new message to print ASTGravatar Enrico Tassi2014-09-29
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25