index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
/
xmlprotocol.mli
Age
Commit message (
Expand
)
Author
2018-05-24
[ide] Move common protocol library to its own folder/object.
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-09-19
Add XML protocol support for Wait.
Maxime Dénès
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-03-21
[xml] Restore protocol compatibility with 8.6.
Emilio Jesus Gallego Arias
2017-03-21
[ide] richpp clenaup
Emilio Jesus Gallego Arias
2017-03-21
[pp] Make feedback the only logging mechanism.
Emilio Jesus Gallego Arias
2017-03-21
[ide] Use "log via feedback".
Emilio Jesus Gallego Arias
2016-06-25
[feedback] Allow messages to carry a location.
Emilio Jesus Gallego Arias
2016-06-02
Encapsulate xml serialization in xmlprotocol.mli
Emilio Jesus Gallego Arias
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2015-10-22
Using GADTs in Xmlprotocol.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2014-11-04
ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".
Regis-Gianas
2014-09-29
CoqIDE: new message to print AST
Enrico Tassi
2014-06-25
all coqide specific files moved into ide/
Enrico Tassi
