coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	New option --help-XML-protocol to document the XML procol used by -ideslave	Enrico Tassi	2013-11-27
*	First stab at retrocompatible INTERP message	Enrico Tassi	2013-11-27
*	CoqIDE protocol/serialization revised	gareuselesinge	2013-09-30
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Xml_datatype.mli ships the xml type	gareuselesinge	2013-05-09
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge	2013-04-19
*	Serialize: no need anymore to export of_value / to_value in the mli	letouzey	2012-11-19
*	More type-safe interface to Coq XML API.	ppedrot	2012-09-17
*	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot	2012-09-09
*	Updating headers.	herbelin	2012-08-08
*	A new status Unsafe in Interface. Meant for commands such as Admitted.	aspiwack	2012-07-12
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
*	Added semantic completion in CoqIDE. (Should also add an option for that...)	ppedrot	2012-05-13
*	Added a SearchAbout-like primitive in coqtop interface.	ppedrot	2012-05-13
*	Added an interface primitive to ask coqtop for its internal versions.	ppedrot	2012-05-13
*	Added an interface call to exit Coqtop nicely.	ppedrot	2012-05-02
*	lib directory is cut in 2 cma.	pboutill	2012-04-12