coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fixing output test-suite.	Pierre-Marie Pédrot	2014-07-21
\|
*	Fixing test-suite after last storm in Pp.	pboutill	2012-06-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15433 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Renommage id dans le test Nametab (suite ajout d'une constante de ce	herbelin	2008-06-05
\| \| \| \| \| \| \|	nom dans l'état initial) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11053 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7701 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fichier non traductible (référence à des objets invisibles ce qui ↵	herbelin	2004-12-09
\| \| \| \| \| \|	empêche de traduire Locate) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6448 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Encore quelques rangements dans Nametab + petits trucs	coq	2002-09-27
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3039 85f007b7-540e-0410-9357-904b9bb8a0f7