coq - The formal proof system

Age	Commit message (Expand)	Author
2013-11-02	Adds a tactic give_up.	aspiwack
2013-11-02	Adds a shelve tactic.	aspiwack
2013-10-22	New feedback message: SlaveStatus	gareuselesinge
2013-10-01	typo	gareuselesinge
2013-09-30	CoqIDE protocol/serialization revised	gareuselesinge
2013-09-12	CoqIDE: show number of proofs being checked in background	gareuselesinge
2013-08-19	Modulification and removing of structural equality in Stateid.	ppedrot
2013-08-08	Coqide ported to STM	gareuselesinge
2013-04-25	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-19	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge
2012-09-09	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot
2012-08-08	Updating headers.	herbelin
2012-07-12	A new status Unsafe in Interface. Meant for commands such as Admitted.	aspiwack
2012-07-10	Adapting the IDE interface with the focussed display.	ppedrot
2012-06-29	Now CoqIDE separates answer and messages. This should hopefully	ppedrot
2012-06-23	Moving logging level to Interface.	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-11	Slightly modified the coqtop interface by adding an identifier in	ppedrot
2012-05-02	Added an interface call to exit Coqtop nicely.	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill