aboutsummaryrefslogtreecommitdiff
path: root/ide/interface.mli
AgeCommit message (Expand)Author
2017-01-27Fix documentation typos.Guillaume Melquiond
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-10-09Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-08Goptions: new value type: optional stringEnrico Tassi
2015-09-20Rich printing of CoqIDE protocol failure.Pierre-Marie Pédrot
2015-09-20Rich printing of goals.Pierre-Marie Pédrot
2015-09-20Adding rich printing primitives.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-11-04ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...Regis-Gianas
2014-11-04ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Regis-Gianas
2014-10-01Factored out IDE goal structure.Carst Tankink
2014-09-29CoqIDE: new message to print ASTEnrico Tassi
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-06-25all coqide specific files moved into ide/Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:19:49 +0000