coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8762 85f007b7-540e-04...	notin	2006-04-28
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	Ajout de la doc de l'option -stdout de coqdoc	notin	2006-04-27
*	Correction d'un bug dans coqdoc sur l'utilisation de l'option -o et la créat...	notin	2006-04-26
*	- correction d'un bug dans coqdoc (multi_index)	notin	2006-03-28
*	Correction d'un bug dans Coqdoc (indentation & mots clés)	notin	2006-03-27
*	r8709@thot: notin \| 2006-03-25 01:48:46 +0100	notin	2006-03-25
*	r8686@thot: notin \| 2006-03-20 19:29:09 +0100	notin	2006-03-25
*	r8636@thot: notin \| 2006-03-14 15:57:11 +0100	notin	2006-03-14
*	r8620@thot: notin \| 2006-03-08 11:44:16 +0100	notin	2006-03-08
*	Petite modification de la gestion du '.' (jmn)	coq	2006-01-06
*	Amelioration de l'elimination des preuves (bugs #1052 et #950-II) (jmn)	coq	2006-01-05
*	* empty log message *	coq	2006-01-05
*	erreur coqdoc + headsep	mohring	2005-10-20
*	pas besoin de List.length pour savoir si une liste est vide	letouzey	2005-08-19
*	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
*	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
*	application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...	filliatr	2004-03-16
*	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