coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Documentation de lazymatch et des extensions de idtac et fail	herbelin	2006-07-11
*	Ajout cible refman-quick qui teste la compilation sans faire les index, toc e...	herbelin	2006-07-04
*	Changement du index.html généré dans refman	notin	2006-06-13
*	MAJ liste fichiers doc stdlib	herbelin	2006-06-09
*	Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...	notin	2006-05-02
*	- Documentation of the Program tactics.	msozeau	2006-04-07
*	- correction d'un bug dans coqdoc (multi_index)	notin	2006-03-28
*	r8708@thot: notin \| 2006-03-24 18:55:01 +0100	notin	2006-03-25
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	Ajout Tutorial on recursive types	herbelin	2006-03-10
*	Uniformisation noms Library*.tex	herbelin	2006-02-23
*	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin	2006-02-23
*	Suppression cible all-ps-docs; ajout www/index.html	herbelin	2005-01-25
*	Il faut 2 fois latex apr�s l'index (cf bug #793)	herbelin	2004-06-27
*	Ajout documentation exportation XML	herbelin	2004-04-15
*	ajout d'une passe de latex our avoir un index correct	barras	2004-01-14
*	plus derreur hevea/hacha	coq	2004-01-07
*	doc avec frames	mohring	2004-01-06
*	addendum comme part5, htmlsplit -> hacha	mohring	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	MAJ pour compilation coq-tex correcte	herbelin	2004-01-05
*	correction bugs commit precedent et mise en forme html	coq	2004-01-05
*	COQBIN plus necessaire, typos	marche	2003-12-19
*	coqide menus on golas	marche	2003-12-16
*	coqide	marche	2003-12-12
*	presentation, biblio;	marche	2003-12-10
*	coqide	marche	2003-12-04
*	plus de pb avec referencemanual.sh	marche	2003-12-02
*	version et style	marche	2003-12-01
*	coqide	marche	2003-11-24
*	passage V8	filliatr	2003-09-25
*	Backtrack faq	herbelin	2003-02-13
*	MAJ Remark/Fact	herbelin	2003-02-13
*	Release 7.4	desmettr	2003-02-04
*	Doc module, premiere version	coq	2002-10-05
*	Correction bug Makefile doc	desmettr	2002-09-10
*	Library est maintenant engendr� par coqdoc	herbelin	2002-05-22
*	MAJ	herbelin	2002-01-10
*	cible coq.info	filliatr	2001-11-15
*	Bug FTPDOCS	herbelin	2001-10-02
*	Suppression Changes	herbelin	2001-09-27
*	check	herbelin	2001-09-27
*	Ajout de la doc pour la tactique Setoid_replace.	clrenard	2001-06-12
*	Amelioration de la creation de la doc Library	coq	2001-04-26
*	* empty log message *	barras	2001-04-25
*	Added the option -exec xxdate.exe to hevea for the current date while produci...	coq	2001-04-23
*	Ajoute Library.html a all-html	mohring	2001-04-19
*	Changement de Zarith en ZArith	mohring	2001-04-19
*	abandon de autonconf au profit de variables d'environnement	filliatr	2001-04-19