coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	premiere reorganisation de l\'unification	barras	2004-09-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6057 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqdoc	filliatr	2004-02-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5379 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqwc	filliatr	2003-09-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4302 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	barras	2003-03-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3771 85f007b7-540e-0410-9357-904b9bb8a0f7
*	interface GTK2 experimentale	monate	2003-02-04
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3660 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj	filliatr	2003-01-31
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3633 85f007b7-540e-0410-9357-904b9bb8a0f7
*	application patch Claudio	filliatr	2001-05-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1746 85f007b7-540e-0410-9357-904b9bb8a0f7
*	add the binary coq-interface, used for the communication with the graphical	bertot	2001-04-04
\| \| \| \| \| \| \|	user-interface pcoq. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1536 85f007b7-540e-0410-9357-904b9bb8a0f7
*	modifs pour extraction; bug coqmktop	filliatr	2001-03-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1428 85f007b7-540e-0410-9357-904b9bb8a0f7
*	binaires a ingorer par CVS	filliatr	2000-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@823 85f007b7-540e-0410-9357-904b9bb8a0f7
*	tous les binaires maintenant dans le repertoire bin	filliatr	2000-11-08
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@822 85f007b7-540e-0410-9357-904b9bb8a0f7