coq - The formal proof system

Age	Commit message (Expand)	Author
2005-01-12	This commit corrects the last commit of Hugo that broke down the "make depend"	sacerdot
2004-12-09	VOFILES aussi pour make depend	herbelin
2004-11-28	Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoires	herbelin
2004-08-03	Bug indexation des Require Import	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-06-29	efficacite du lexeur	filliatr
2004-04-13	Suppression documentation option raw-comments qui est vraiment trop ad hoc po...	herbelin
2004-04-07	A few changes backtracked:	sacerdot
2004-04-06	1. In -html mode the generated files are well-formed XML files	sacerdot
2004-04-06	echappement de <, > et & en HTML	filliatr
2004-03-29	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-26	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-17	suppression du ./ devant (et .\ sous Windows)	filliatr
2004-03-16	application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...	filliatr
2004-03-15	identification ./f et f dans coqdep -sort	filliatr
2004-03-15	Parameters	filliatr
2004-03-01	ocaml 3.07 -> 3.06	filliatr
2004-02-27	* empty log message *	filliatr
2004-02-25	indexation Record / bug gallina sur := en V8	filliatr
2004-02-24	* empty log message *	filliatr
2004-02-24	coqdoc	filliatr
2004-02-18	- fixed the Assert_failure error in kernel/modops	barras
2003-12-12	option -n de coq-tex	marche
2003-12-11	Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le reper...	herbelin
2003-11-10	MAJ OTHERFLAGS	herbelin
2003-11-08	Ajout option -impredicative-set	herbelin
2003-09-24	Passage options via COQFLAGS plutot que OPT	herbelin
2003-09-12	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-10	typo	narboux
2003-09-05	affichage de la nature des colonnes	filliatr
2003-09-05	coqwc	filliatr
2003-08-12	Bug et amliorations diverses	herbelin
2003-08-11	Outils de traduction	herbelin
2003-07-02	rm -f .depend (sans le -f "make depend" echoue lorsque le .depend	filliatr
2003-05-13	Modif de coq-tex - meilleur affichage des suite de coq_example's	coq
2003-02-24	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-14	prise en compte des sous-repertoires Coq de maniere dynamique	filliatr
2002-12-04	mdule --> module	mohring
2002-12-04	fichiers DOS	filliatr
2002-11-15	Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)	letouzey
2002-11-14	bugs	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin