coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	* empty log message *	narboux	2004-03-12
*	* empty log message *	kirchner	2004-03-12
*	ajout d'un embryon de faq	kirchner	2004-03-12
*	conformite V8	mohring	2004-03-12
*	Ajout stepl et stepr	herbelin	2004-03-10
*	Correctif Tactic Notation	herbelin	2004-03-03
*	Documentation de 'Tactic Notation'	herbelin	2004-03-02
*	Ajout 'replace in'	herbelin	2004-03-01
*	doc coqdoc	filliatr	2004-02-24
*	petits bug dans chapitre des modules	barras	2004-02-23
*	Typos et passage v7->v8	herbelin	2004-02-23
*	MAJ cas special du motif '{ x }'	herbelin	2004-02-12
*	Modification of the documentation of functional induction/Scheme.	coq	2004-02-06
*	Suppression de 'Print.' en v8	herbelin	2004-01-29
*	Ajout option -xml	herbelin	2004-01-22
*	Ajout coercions dans les constructeurs et les declarations	herbelin	2004-01-22
*	ajout d'une passe de latex our avoir un index correct	barras	2004-01-14
*	unicode dans coqide	marche	2004-01-14
*	bugs, mise en page, complements	herbelin	2004-01-07
*	Bug	herbelin	2004-01-07
*	Une solution au probl�me d'espacement apr�s _ dans les titres	herbelin	2004-01-07
*	plus derreur hevea/hacha	coq	2004-01-07
*	page moins haute	mohring	2004-01-06
*	doc avec frames	mohring	2004-01-06
*	addendum comme part5, htmlsplit -> hacha	mohring	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	Erreurs de derniere minute	corbinea	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	mise de copyright seulement latex	mohring	2004-01-06
*	2003-2004	mohring	2004-01-06
*	TYPES	mohring	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	MAJ	herbelin	2004-01-06
*	Typos/coq-tex/divers	herbelin	2004-01-05
*	Nouvelle relecture	herbelin	2004-01-05
*	MAJ pour compilation coq-tex correcte	herbelin	2004-01-05
*	correction bugs commit precedent et mise en forme html	coq	2004-01-05
*	modif generales claude	coq	2003-12-30
*	MAJ	herbelin	2003-12-28
*	Completion	herbelin	2003-12-28
*	Ajout ref About	herbelin	2003-12-28
*	* empty log message *	barras	2003-12-24
*	* empty log message *	barras	2003-12-24
*	* empty log message *	barras	2003-12-24
*	Aspect mathematique de Coq	herbelin	2003-12-24
*	MAJ	herbelin	2003-12-23
*	Qques avancees sur la doc des scopes	herbelin	2003-12-23
*	Ajout intro-pattern des inductifs unaire	herbelin	2003-12-23
*	* empty log message *	barras	2003-12-23
*	* empty log message *	barras	2003-12-23