coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	presentation, biblio;	marche	2003-12-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8381 85f007b7-540e-0410-9357-904b9bb8a0f7
*	passage V8	filliatr	2003-09-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8343 85f007b7-540e-0410-9357-904b9bb8a0f7
*	avertissement Correctness plus d�velopp�	filliatr	2002-09-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8295 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Corrections diverses	herbelin	2001-10-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8250 85f007b7-540e-0410-9357-904b9bb8a0f7
*	section sur l'extraction (provisoirement) comment�e	filliatr	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8209 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Pending ref's corrected	coq	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8207 85f007b7-540e-0410-9357-904b9bb8a0f7
*	documentation automatique de la biblio standard	filliatr	2001-04-11
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8188 85f007b7-540e-0410-9357-904b9bb8a0f7