coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	erreur coqdoc + headsep	mohring	2005-10-20
*	pas besoin de List.length pour savoir si une liste est vide	letouzey	2005-08-19
*	coqdep connait maintenant user-contrib	filliatr	2005-06-21
*	coqwc: Admitted	filliatr	2005-05-31
*	This commit corrects the last commit of Hugo that broke down the "make depend"	sacerdot	2005-01-12
*	VOFILES aussi pour make depend	herbelin	2004-12-09
*	Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoires	herbelin	2004-11-28
*	Bug indexation des Require Import	herbelin	2004-08-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	efficacite du lexeur	filliatr	2004-06-29
*	Suppression documentation option raw-comments qui est vraiment trop ad hoc po...	herbelin	2004-04-13
*	A few changes backtracked:	sacerdot	2004-04-07
*	1. In -html mode the generated files are well-formed XML files	sacerdot	2004-04-06
*	echappement de <, > et & en HTML	filliatr	2004-04-06
*	tools/coq_vo2xml removed since no longer in use.	sacerdot	2004-03-29
*	"xml" target removed from generated makefiles (since it was no longer used)	sacerdot	2004-03-29
*	MAJ	kirchner	2004-03-29
*	Ajout option raw-comments pour supprimer affichage de <table>	herbelin	2004-03-26
*	Ajout option raw-comments pour supprimer affichage de <table>; typos	herbelin	2004-03-26
*	MAJ mot-cles	herbelin	2004-03-26
*	Bug <BR>; ajout option raw_comment pas d'affichage de <table>; MAJ mot-cles	herbelin	2004-03-26
*	suppression du ./ devant (et .\ sous Windows)	filliatr	2004-03-17
*	application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...	filliatr	2004-03-16
*	identification ./f et f dans coqdep -sort	filliatr	2004-03-15
*	Parameters	filliatr	2004-03-15
*	ocaml 3.07 -> 3.06	filliatr	2004-03-01
*	* empty log message *	filliatr	2004-02-27
*	indexation Record / bug gallina sur := en V8	filliatr	2004-02-25
*	* empty log message *	filliatr	2004-02-24
*	coqdoc	filliatr	2004-02-24
*	- fixed the Assert_failure error in kernel/modops	barras	2004-02-18
*	option -n de coq-tex	marche	2003-12-12
*	Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le reper...	herbelin	2003-12-11
*	MAJ OTHERFLAGS	herbelin	2003-11-10
*	Ajout option -impredicative-set	herbelin	2003-11-08
*	Passage options via COQFLAGS plutot que OPT	herbelin	2003-09-24
*	Outil de test de la traduction et de la compilation en v8 sans modification des	herbelin	2003-09-12
*	Message pour les erreurs	herbelin	2003-09-12
*	typo	narboux	2003-09-10
*	affichage de la nature des colonnes	filliatr	2003-09-05
*	coqwc	filliatr	2003-09-05
*	Bug et amliorations diverses	herbelin	2003-08-12
*	Outils de traduction	herbelin	2003-08-11
*	rm -f .depend (sans le -f "make depend" echoue lorsque le .depend	filliatr	2003-07-02
*	Modif de coq-tex - meilleur affichage des suite de coq_example's	coq	2003-05-13
*	on sait se refaire uniquement si option -f	filliatr	2003-02-24
*	coq_makefile dit comment faire le .depend (evite l'echec lorsque	filliatr	2003-02-24
*	prise en compte des sous-repertoires Coq de maniere dynamique	filliatr	2003-02-14
*	mdule --> module	mohring	2002-12-04
*	fichiers DOS	filliatr	2002-12-04