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
*	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
*	modif generales claude	coq	2003-12-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8455 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	barras	2003-12-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8443 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise a jour Cases	mohring	2003-12-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8436 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
*	des %N inutiles et les messages d'erreurs n'aparaissent plus dans la doc	barras	2003-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8423 85f007b7-540e-0410-9357-904b9bb8a0f7
*	passe sur les labels et les refs dans chapitres tactiques	filliatr	2003-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8414 85f007b7-540e-0410-9357-904b9bb8a0f7
*	typographie	marche	2003-12-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8399 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Reference	herbelin	2003-11-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8360 85f007b7-540e-0410-9357-904b9bb8a0f7
*	passage V8	filliatr	2003-09-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8343 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ V7.2	herbelin	2001-12-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8259 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
*	MAJ V7.1	herbelin	2001-10-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8246 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
*	MAJ V7	herbelin	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8203 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