aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/fake_ide.ml
Commit message (Expand)AuthorAge
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* fake_ide: fix compilationGravatar Enrico Tassi2014-03-12
* fake_ide: ported to spawnGravatar Enrico Tassi2014-02-10
* Document: undoing inside a focused zone does not require unfocusingGravatar gareuselesinge2013-10-10
* fake_ide: ported to Document + 2 tests for editing a proof (locally)Gravatar gareuselesinge2013-10-10
* fake_ide: speak the new protocolGravatar gareuselesinge2013-10-07
* fake_ide: call Coq.init as the first actionGravatar gareuselesinge2013-09-30
* fake_ide ported to the new protocol (FIXME tests fail)Gravatar gareuselesinge2013-09-30
* Modulification and removing of structural equality in Stateid.Gravatar ppedrot2013-08-19
* State Transaction MachineGravatar gareuselesinge2013-08-08
* fake_ide: xml parser does not check for EOFGravatar gareuselesinge2013-05-06
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* Fix compilation of fake_ideGravatar gareuselesinge2013-04-19
* Xml_parser: detect immediate EOF + disable check_eof by defaultGravatar letouzey2012-11-12
* More type-safe interface to Coq XML API.Gravatar ppedrot2012-09-17
* Updating headers.Gravatar herbelin2012-08-08
* Fixed fake_ide test-suite.Gravatar ppedrot2012-07-09
* Fixing fake_ideGravatar ppedrot2012-06-29
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Added an API call to retrieve and change the option stateGravatar ppedrot2011-11-25
* Separated the toplevel interface into a purely declarative module with associ...Gravatar ppedrot2011-11-25
* Also sprach CoqIDE (in XML)Gravatar ppedrot2011-11-06
* Fix test-suite/ide for repository compiled without -local (fix #2600)Gravatar letouzey2011-09-19
* fake_ide: a short program to mimic an ide talking to coqtop -ideslaveGravatar letouzey2011-09-05