coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Some documentation and cleaning of CList and Util interfaces.	ppedrot	2012-09-15
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Fixes r15610 (A new status Unsafe in Interface).	aspiwack	2012-07-13
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Heavily rewritten the coqtop management process of coqide. The coqtop	ppedrot	2012-05-13
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
*	Cleaning up widget code and using a naming convention for such files.	ppedrot	2012-04-20