index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
/
interface.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-27
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-06-18
[ide] Add route_id parameter to query call.
Emilio Jesus Gallego Arias
2017-04-12
[stm] Remove edit_id.
Emilio Jesus Gallego Arias
2017-03-21
[ide protocol] Add comment about leftover parameter.
Emilio Jesus Gallego Arias
2017-03-21
[pp] Make feedback the only logging mechanism.
Emilio Jesus Gallego Arias
2017-01-27
Fix documentation typos.
Guillaume Melquiond
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2015-10-09
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-08
Goptions: new value type: optional string
Enrico Tassi
2015-09-20
Rich printing of CoqIDE protocol failure.
Pierre-Marie Pédrot
2015-09-20
Rich printing of goals.
Pierre-Marie Pédrot
2015-09-20
Adding rich printing primitives.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2014-12-16
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-11-04
ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...
Regis-Gianas
2014-11-04
ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".
Regis-Gianas
2014-10-01
Factored out IDE goal structure.
Carst Tankink
2014-09-29
CoqIDE: new message to print AST
Enrico Tassi
2014-08-05
STM: code restructured to reuse task queue for tactics
Enrico Tassi
2014-06-25
all coqide specific files moved into ide/
Enrico Tassi
