coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Achèvement suppression traducteur dans contrib/interface	herbelin	2005-12-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7738 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Consequence of allowing the numerical argument of auto to be an ident for ltac	herbelin	2005-05-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7062 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Re-commit version nouvelle syntaxe	herbelin	2004-11-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6370 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Passage à la v8 pour test parser	herbelin	2004-11-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6367 85f007b7-540e-0410-9357-904b9bb8a0f7
*	the output the parser should produce now	bertot	2004-03-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5438 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Add an example with Ring.	bertot	2002-12-09
\| \| \| \| \| \| \|	Modified obj_magic.out because some formulas changed representation. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3403 85f007b7-540e-0410-9357-904b9bb8a0f7
*	correcting the treatment of many tactics that use quant_hyp in file xlate.ml	bertot	2002-10-06
	and associated file. Also adding a systematic check approach git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3092 85f007b7-540e-0410-9357-904b9bb8a0f7