coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	config avec autoconf	filliatr	2000-12-15
*	Initial revision	filliatr	2000-12-12
*	Deplacement du répertoire doc dans dev	notin	2006-03-06
*	MAJ	herbelin	2005-01-21
*	exemple complet de parser	barras	2002-12-17
*	ajout du document sur la nouvelle syntaxe	barras	2001-12-11
*	dvips -o ==> dvips -o $@	coq	2000-07-26
*	doc	herbelin	2000-06-02
*	documentation	filliatr	1999-12-13
*	un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	doc minicoq (grammaires)	filliatr	1999-09-07
*	documentation (prog literaire)	filliatr	1999-08-19