coq - The formal proof system

Age	Commit message (Expand)	Author
2009-11-10	Correction du bug #2183	notin
2009-11-03	Removed debugging stuff mistakenly introduced in r12426.	herbelin
2009-10-27	Added option --external to coqdoc to bind an url to an external library.	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-04	Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,	msozeau
2008-10-06	## Lines starting with '## ' will be removed from the log message.	msozeau
2008-10-03	Minor fixes related to coqdoc and --interpolate and the dependent	msozeau
2008-09-25	Improvements in coqdoc:	msozeau
2008-09-15	Add types introduced by subtac in *.glob files	glondu
2008-06-26	Oubli lors de la révision #11177	notin
2008-06-25	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin
2008-06-06	Enhancements to coqdoc, better globalization of sections and modules.	msozeau
2008-06-03	Fix setoid_rewrite documentation examples.	msozeau
2008-05-30	Improvements on coqdoc by adding more information into .glob	msozeau
2008-02-27	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-25	Correction d'un bug de Coqdoc (indentation des lignes)	notin
2008-02-08	Correction d'un bug de Coqdoc + ajout de Include dans les mots clés reconnus...	notin
2007-01-29	Coqdoc patch for Program, fix xlate.ml warning and little subtac fixes.	msozeau
2006-10-04	Correction bug #1204 + maj CHANGES	notin
2006-05-26	Support des modules dans Coqdoc	notin
2006-05-24	Adaptation de Coqdoc au nouveau add_glob	notin
2006-03-08	r8620@thot: notin \| 2006-03-08 11:44:16 +0100	notin
2004-08-03	Bug indexation des Require Import	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-02-25	indexation Record / bug gallina sur := en V8	filliatr
2004-02-24	coqdoc	filliatr