coq - The formal proof system

Age	Commit message (Expand)	Author
2014-03-12	fake_ide: fix compilation	Enrico Tassi
2014-02-10	fake_ide: ported to spawn	Enrico Tassi
2013-10-10	Document: undoing inside a focused zone does not require unfocusing	gareuselesinge
2013-10-10	fake_ide: ported to Document + 2 tests for editing a proof (locally)	gareuselesinge
2013-10-07	fake_ide: speak the new protocol	gareuselesinge
2013-09-30	fake_ide: call Coq.init as the first action	gareuselesinge
2013-09-30	fake_ide ported to the new protocol (FIXME tests fail)	gareuselesinge
2013-08-19	Modulification and removing of structural equality in Stateid.	ppedrot
2013-08-08	State Transaction Machine	gareuselesinge
2013-05-06	fake_ide: xml parser does not check for EOF	gareuselesinge
2013-05-06	New module Xml_printer (dual to Xml_parser)	gareuselesinge
2013-04-25	Coqide: new feedback mechanism for structured content	gareuselesinge
2013-04-19	Fix compilation of fake_ide	gareuselesinge
2012-11-12	Xml_parser: detect immediate EOF + disable check_eof by default	letouzey
2012-09-17	More type-safe interface to Coq XML API.	ppedrot
2012-08-08	Updating headers.	herbelin
2012-07-09	Fixed fake_ide test-suite.	ppedrot
2012-06-29	Fixing fake_ide	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill
2011-11-25	Added an API call to retrieve and change the option state	ppedrot
2011-11-25	Separated the toplevel interface into a purely declarative module with associ...	ppedrot
2011-11-06	Also sprach CoqIDE (in XML)	ppedrot
2011-09-19	Fix test-suite/ide for repository compiled without -local (fix #2600)	letouzey
2011-09-05	fake_ide: a short program to mimic an ide talking to coqtop -ideslave	letouzey