aboutsummaryrefslogtreecommitdiff
path: root/tools/fake_ide.ml
AgeCommit message (Expand)Author
2018-10-08[ide] [dune] [test-suite] Reorganize `fake_ide` build.Emilio Jesus Gallego Arias
2018-05-21[ide] Remove special option `-ideslave`Emilio Jesus Gallego Arias
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-11-01Fix FIXME: use OCaml 4.02 generative functors when available.Gaëtan Gilbert
2017-09-19Add XML protocol support for Wait.Maxime Dénès
2017-07-20fake_ide: do as coqide to find out coqtop pathEnrico Tassi
2017-07-20In fake_ide, call coqtop.exe instead of coqtop on Win32.Maxime Dénès
2017-07-20Avoid using unsupported signals under Windows in fake_ide.Maxime Dénès
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-18[ide] Add route_id parameter to query call.Emilio Jesus Gallego Arias
2017-03-21[xml] Restore protocol compatibility with 8.6.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove uses of expensive string_of_ppcmds.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove special tag type and handler from Pp.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove richpp from fake_ide.Emilio Jesus Gallego Arias
2017-03-21[pp] Make feedback the only logging mechanism.Emilio Jesus Gallego Arias
2017-03-21[ide] Use "log via feedback".Emilio Jesus Gallego Arias
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:30:36 +0000