coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24
*	Old message Interp returns the state id so that one can BackTo it	Enrico Tassi	2013-11-27
*	First stab at retrocompatible INTERP message	Enrico Tassi	2013-11-27
*	Adds a tactic give_up.	aspiwack	2013-11-02
*	Adds a shelve tactic.	aspiwack	2013-11-02
*	New feedback message: SlaveStatus	gareuselesinge	2013-10-22
*	typo	gareuselesinge	2013-10-01
*	CoqIDE protocol/serialization revised	gareuselesinge	2013-09-30
*	CoqIDE: show number of proofs being checked in background	gareuselesinge	2013-09-12
*	Modulification and removing of structural equality in Stateid.	ppedrot	2013-08-19
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	Fix indentation	gareuselesinge	2013-04-25
*	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge	2013-04-19
*	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
*	Adapting the IDE interface with the focussed display.	ppedrot	2012-07-10
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
*	Moving logging level to Interface.	ppedrot	2012-06-23
*	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
*	Slightly modified the coqtop interface by adding an identifier in	ppedrot	2012-05-11
*	Added an interface call to exit Coqtop nicely.	ppedrot	2012-05-02
*	lib directory is cut in 2 cma.	pboutill	2012-04-12