coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	* empty log message *	mohring	2003-12-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8435 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2003-12-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8434 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2003-12-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8433 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise a jour V8	mohring	2003-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8428 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	barras	2003-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8424 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour V8	mohring	2003-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8419 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise a jour CIC	mohring	2003-12-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8413 85f007b7-540e-0410-9357-904b9bb8a0f7
*	debut de mise a jour CIC	mohring	2003-12-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8396 85f007b7-540e-0410-9357-904b9bb8a0f7
*	typo	marche	2003-12-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8387 85f007b7-540e-0410-9357-904b9bb8a0f7
*	passage V8	filliatr	2003-09-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8340 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2002-05-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8279 85f007b7-540e-0410-9357-904b9bb8a0f7
*	paragraphe obsolete sur l'extraction	letouzey	2002-04-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8275 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazy	herbelin	2002-03-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8273 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Typos	herbelin	2001-10-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8253 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Oubli de cas pour le sous-typage	herbelin	2001-10-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8252 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Oubli de cas pour le sous-typage	herbelin	2001-10-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8251 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
*	Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex	herbelin	2001-09-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8226 85f007b7-540e-0410-9357-904b9bb8a0f7
*	cic	mohring	2001-04-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8185 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout syntaxe et regles let-in	herbelin	2001-04-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8176 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Initial revision	filliatr	2000-12-12
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7