coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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