coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	Inlining Spawn.kill_if in the one place were it was actually used, thus	Pierre-Marie Pédrot	2014-12-25
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	fake_ide: fix compilation	Enrico Tassi	2014-03-12
*	fake_ide: ported to spawn	Enrico Tassi	2014-02-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-10
*	fake_ide: speak the new protocol	gareuselesinge	2013-10-07
*	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-09-30
*	Modulification and removing of structural equality in Stateid.	ppedrot	2013-08-19
*	State Transaction Machine	gareuselesinge	2013-08-08
*	fake_ide: xml parser does not check for EOF	gareuselesinge	2013-05-06
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	Fix compilation of fake_ide	gareuselesinge	2013-04-19
*	Xml_parser: detect immediate EOF + disable check_eof by default	letouzey	2012-11-12
*	More type-safe interface to Coq XML API.	ppedrot	2012-09-17
*	Updating headers.	herbelin	2012-08-08
*	Fixed fake_ide test-suite.	ppedrot	2012-07-09
*	Fixing fake_ide	ppedrot	2012-06-29
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	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-25
*	Also sprach CoqIDE (in XML)	ppedrot	2011-11-06
*	Fix test-suite/ide for repository compiled without -local (fix #2600)	letouzey	2011-09-19
*	fake_ide: a short program to mimic an ide talking to coqtop -ideslave	letouzey	2011-09-05