coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	exemple complet de parser	barras	2002-12-17
\| \| \| \| \| \| \| \|	changement de syntaxe des scope: expr % id ex: (10 + 5 * 4)%N ou 4%N git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3451 85f007b7-540e-0410-9357-904b9bb8a0f7
*	pseudo-parser ocamlyacc de la nouvelle syntaxe	barras	2002-11-26
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3303 85f007b7-540e-0410-9357-904b9bb8a0f7