coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23
\| \| \| \| \| \| \|	principale de Coq et publication des sources (HH) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7
*	suite commit pr�c�dent	herbelin	2005-05-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8601 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correction du bug de contraintes d'univers dans exType (mentionn� par ↵	herbelin	2005-05-05
\| \| \| \| \| \|	Georges Gonthier) + diverses corrections de l'anglais US git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8599 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout d'une passe de latex our avoir un index correct	barras	2004-01-14
\| \| \| \| \| \| \|	+ quelques petites retouches sur la doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8476 85f007b7-540e-0410-9357-904b9bb8a0f7
*	correction bugs commit precedent et mise en forme html	coq	2004-01-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8456 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* 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