aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/fake_ide.ml
Commit message (Expand)AuthorAge
* fake_ide: do as coqide to find out coqtop pathGravatar Enrico Tassi2017-07-20
* In fake_ide, call coqtop.exe instead of coqtop on Win32.Gravatar Maxime Dénès2017-07-20
* Avoid using unsupported signals under Windows in fake_ide.Gravatar Maxime Dénès2017-07-20
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [ide] Add route_id parameter to query call.Gravatar Emilio Jesus Gallego Arias2017-06-18
* [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Remove uses of expensive string_of_ppcmds.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Remove special tag type and handler from Pp.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Remove richpp from fake_ide.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [ide] Use "log via feedback".Gravatar Emilio Jesus Gallego Arias2017-03-21
* [feedback] Allow messages to carry a location.Gravatar Emilio Jesus Gallego Arias2016-06-25
* Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-06-02
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Fixing fake_ide.Gravatar Pierre-Marie Pédrot2015-09-22
|/
* Support CRLF end of line in fake_ide.Gravatar Guillaume Melquiond2015-06-09
* Test for 4159Gravatar Enrico Tassi2015-05-28
* Update headers.Gravatar Maxime Dénès2015-01-12
* Inlining Spawn.kill_if in the one place were it was actually used, thusGravatar Pierre-Marie Pédrot2014-12-25
* 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