coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fix goal display when backtracking	vgross	2010-07-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13246 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Stronger checks on coqtop termination, warning when zombies.	vgross	2010-07-05
\| \| \| \| \| \|	Also, reindentation + typed_notebook simplification git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13241 85f007b7-540e-0410-9357-904b9bb8a0f7
*	fixing error message display.	vgross	2010-06-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13082 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ide_blob: avoid direct use of Stdpp for compatibility with new camlp4	letouzey	2010-06-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13063 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIDE goes multiprocess	vgross	2010-05-31
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This commit changes many things in CoqIDE, and several breakage are to be expected. So far, evaluation in standard tactic mode and backtracking seems to be working. Future work : - clean up the thread management crud remaining in ide/coqide.ml - rework the exception handling - rework the init system in Coqtop plus many other things git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13043 85f007b7-540e-0410-9357-904b9bb8a0f7
*	More indirection.	vgross	2010-05-31
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13042 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Introducing strong typing for IDE - toplevel IPC	vgross	2010-05-31
	Obj.magic in toplevel/ide_blob.ml is the only way to simulate GADT. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13041 85f007b7-540e-0410-9357-904b9bb8a0f7