coq - The formal proof system

Age	Commit message (Expand)	Author
2006-10-25	coqdep -slash	barras
2006-10-17	Mise en forme des theories	notin
2006-10-04	Correction bug #1204 + maj CHANGES	notin
2006-06-08	Warning ocaml 3.09 pour variable inutile	herbelin
2006-05-26	Support des modules dans Coqdoc	notin
2006-05-24	Adaptation de Coqdoc au nouveau add_glob	notin
2006-05-22	Modification de l'appel à coqdoc (COQBIN)	notin
2006-05-02	Option --coqlib_path pour coqdoc (suite et fin)	notin
2006-05-02	Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...	notin
2006-04-28	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-27	Ajout de la doc de l'option -stdout de coqdoc	notin
2006-04-26	MAJ	herbelin
2006-04-26	Outil de test de la réversibilité du réafficheur v8->v8	herbelin
2006-04-26	Prise en compte du Require multiple	herbelin
2006-04-26	Correction d'un bug dans coqdoc sur l'utilisation de l'option -o et la créat...	notin
2006-03-28	- correction d'un bug dans coqdoc (multi_index)	notin
2006-03-27	Correction d'un bug dans Coqdoc (indentation & mots clés)	notin
2006-03-25	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-17	Modification des propriétés (svn:executable)	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-02-06	Ajout de l'essai d'effacement des noms des cibles custom par la cible clean	herbelin
2006-01-11	Suppression traducteur	herbelin
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
2005-06-21	coqdep connait maintenant user-contrib	filliatr
2005-05-31	coqwc: Admitted	filliatr
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