coq - The formal proof system

Age	Commit message (Expand)	Author
2006-03-25	r8686@thot: notin \| 2006-03-20 19:29:09 +0100	notin
2006-03-14	r8636@thot: notin \| 2006-03-14 15:57:11 +0100	notin
2006-03-08	r8620@thot: notin \| 2006-03-08 11:44:16 +0100	notin
2006-01-06	Petite modification de la gestion du '.' (jmn)	coq
2006-01-05	Amelioration de l'elimination des preuves (bugs #1052 et #950-II) (jmn)	coq
2006-01-05	* empty log message *	coq
2005-10-20	erreur coqdoc + headsep	mohring
2005-08-19	pas besoin de List.length pour savoir si une liste est vide	letouzey
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-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-16	application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...	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