aboutsummaryrefslogtreecommitdiff
path: root/tools/fake_ide.ml
AgeCommit message (Expand)Author
2016-11-18Revert "fake_ide: use the now available Status XML message"Maxime Dénès
2016-11-17fake_ide: use the now available Status XML messageEnrico Tassi
2016-06-25[feedback] Allow messages to carry a location.Emilio Jesus Gallego Arias
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-22Fixing fake_ide.Pierre-Marie Pédrot
2015-06-09Support CRLF end of line in fake_ide.Guillaume Melquiond
2015-05-28Test for 4159Enrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-12-25Inlining Spawn.kill_if in the one place were it was actually used, thusPierre-Marie Pédrot
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-03-12fake_ide: fix compilationEnrico Tassi
2014-02-10fake_ide: ported to spawnEnrico Tassi
2013-10-10Document: undoing inside a focused zone does not require unfocusinggareuselesinge
2013-10-10fake_ide: ported to Document + 2 tests for editing a proof (locally)gareuselesinge
2013-10-07fake_ide: speak the new protocolgareuselesinge
2013-09-30fake_ide: call Coq.init as the first actiongareuselesinge
2013-09-30fake_ide ported to the new protocol (FIXME tests fail)gareuselesinge
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-08State Transaction Machinegareuselesinge
2013-05-06fake_ide: xml parser does not check for EOFgareuselesinge
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-19Fix compilation of fake_idegareuselesinge
2012-11-12Xml_parser: detect immediate EOF + disable check_eof by defaultletouzey
2012-09-17More type-safe interface to Coq XML API.ppedrot
2012-08-08Updating headers.herbelin
2012-07-09Fixed fake_ide test-suite.ppedrot
2012-06-29Fixing fake_ideppedrot
2012-04-12lib directory is cut in 2 cma.pboutill
2011-11-25Added an API call to retrieve and change the option stateppedrot
2011-11-25Separated the toplevel interface into a purely declarative module with associ...ppedrot
2011-11-06Also sprach CoqIDE (in XML)ppedrot
2011-09-19Fix test-suite/ide for repository compiled without -local (fix #2600)letouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 07:22:35 +0000