coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15354 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15352 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Heavily rewritten the coqtop management process of coqide. The coqtop	ppedrot	2012-05-13
\| \| \| \| \| \| \| \| \| \|	object is now responsible for restarting itself, and handles unexpected crashes. Fixes a lot of errors in file descriptor management, but may introduce lurking deadlocks and nasty bugs waiting to be discovered. Only (quickly) tested under Linux, any callbacks from Windows are welcome. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15314 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15271 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Cleaning up widget code and using a naming convention for such files.	ppedrot	2012-04-20
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15232 85f007b7-540e-0410-9357-904b9bb8a0f7