aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/fake_ide.ml
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 12:46:55 +0000