coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Génération d'une toc en html et avec l'option -ps	notin	2008-02-27
*	Amélioration de la gestion des chemins physiques (corrige au passage le bug ...	notin	2008-02-27
*	Bug de coqdoc : les commentaires simples généraient des lignes vides	notin	2008-02-25
*	Correction d'un bug de Coqdoc (indentation des lignes)	notin	2008-02-25
*	Bug de Coqdoc avec l'option -R	notin	2008-02-14
*	Reconnaissance des tokens dans les notations (suite à la revision r10562)	notin	2008-02-14
*	Correction du bug #1512	notin	2008-02-13
*	Suppression de l'option -glob-from de Coqdoc: les globalisations sont	notin	2008-02-13
*	Oubli dans r10524	notin	2008-02-08
*	Correction d'un bug de Coqdoc + ajout de Include dans les mots clés reconnus...	notin	2008-02-08
*	Add some keyword	msozeau	2008-01-30
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	Correction d'un bug dans Coqdoc: les mots clés liés aux sections étaient s...	notin	2007-12-17
*	Ajout de mots clés pour Coqdoc (bug #1732)	notin	2007-10-23
*	Corrections des bugs #1730 et #1731	notin	2007-10-22
*	Correction (partielle) bug #1052 (coqdoc supprime les fins de ligne après un...	notin	2007-08-13
*	Correction de 2 bugs mineurs: 1 ligne de debug oubliée dans coqdoc,	notin	2007-06-21
*	- MAJ entêtes des fichiers produits par coq_makefile	herbelin	2007-05-16
*	Correction du bug #1509	notin	2007-05-07
*	Correction du bug #1496 (ajout de Program Definition et Program Fixpoint aux ...	notin	2007-04-23
*	Correction des bugs #1455 et #1456	notin	2007-03-22
*	Remove debugging code committed by accident	lmamane	2007-03-22
*	A tentative fix for bug #1455	lmamane	2007-03-22
*	Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.	msozeau	2007-02-16
*	Missing keyword	msozeau	2007-02-16
*	Add keywords that were missing, notably for terms.	msozeau	2007-02-11
*	Coqdoc patch for Program, fix xlate.ml warning and little subtac fixes.	msozeau	2007-01-29
*	Mise en forme des theories	notin	2006-10-17
*	Correction bug #1204 + maj CHANGES	notin	2006-10-04
*	Support des modules dans Coqdoc	notin	2006-05-26
*	Adaptation de Coqdoc au nouveau add_glob	notin	2006-05-24
*	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-05-02
*	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