coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	* empty log message *	kirchner	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8507 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	narboux	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8506 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	narboux	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8505 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	kirchner	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8504 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	narboux	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8503 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ passage coqart a la nouvelle syntaxe de autorewrite et hint rewrite	herbelin	2004-03-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8502 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	narboux	2004-03-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8501 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Hint Rewrite, ancienne syntaxe	herbelin	2004-03-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8500 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Quelques erreurs	herbelin	2004-03-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8499 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ autorewrite/Hint Rewrite	herbelin	2004-03-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8498 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout %bool	herbelin	2004-03-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8497 85f007b7-540e-0410-9357-904b9bb8a0f7
*	maj biblio faq	narboux	2004-03-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8496 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	narboux	2004-03-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8495 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	kirchner	2004-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8494 85f007b7-540e-0410-9357-904b9bb8a0f7
*	on vire core.tex	kirchner	2004-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8493 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	narboux	2004-03-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8492 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	kirchner	2004-03-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8491 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout d'un embryon de faq	kirchner	2004-03-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8490 85f007b7-540e-0410-9357-904b9bb8a0f7
*	conformite V8	mohring	2004-03-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8489 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout stepl et stepr	herbelin	2004-03-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8488 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correctif Tactic Notation	herbelin	2004-03-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8487 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Documentation de 'Tactic Notation'	herbelin	2004-03-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8486 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout 'replace in'	herbelin	2004-03-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8485 85f007b7-540e-0410-9357-904b9bb8a0f7
*	doc coqdoc	filliatr	2004-02-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8484 85f007b7-540e-0410-9357-904b9bb8a0f7
*	petits bug dans chapitre des modules	barras	2004-02-23
\| \| \| \| \| \| \|	liens vers proofgeneral git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8483 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Typos et passage v7->v8	herbelin	2004-02-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8482 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ cas special du motif '{ x }'	herbelin	2004-02-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8481 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Modification of the documentation of functional induction/Scheme.	coq	2004-02-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8480 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Suppression de 'Print.' en v8	herbelin	2004-01-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8479 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout option -xml	herbelin	2004-01-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8478 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout coercions dans les constructeurs et les declarations	herbelin	2004-01-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8477 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
*	unicode dans coqide	marche	2004-01-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8475 85f007b7-540e-0410-9357-904b9bb8a0f7
*	bugs, mise en page, complements	herbelin	2004-01-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8474 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Bug	herbelin	2004-01-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8473 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Une solution au probl�me d'espacement apr�s _ dans les titres	herbelin	2004-01-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8472 85f007b7-540e-0410-9357-904b9bb8a0f7
*	plus derreur hevea/hacha	coq	2004-01-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8471 85f007b7-540e-0410-9357-904b9bb8a0f7
*	page moins haute	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8470 85f007b7-540e-0410-9357-904b9bb8a0f7
*	doc avec frames	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8469 85f007b7-540e-0410-9357-904b9bb8a0f7
*	addendum comme part5, htmlsplit -> hacha	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8468 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8467 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Erreurs de derniere minute	corbinea	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8466 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8465 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise de copyright seulement latex	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8464 85f007b7-540e-0410-9357-904b9bb8a0f7
*	2003-2004	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8463 85f007b7-540e-0410-9357-904b9bb8a0f7
*	TYPES	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8462 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8461 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2004-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8460 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Typos/coq-tex/divers	herbelin	2004-01-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8459 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nouvelle relecture	herbelin	2004-01-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8458 85f007b7-540e-0410-9357-904b9bb8a0f7