coq - The formal proof system

Age	Commit message (Expand)	Author
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
2009-09-03	Add --plain-comments patch by F. Garillot, which also adds	msozeau
2009-04-24	Report de la révision #12104 (Maj lien site web de Coq)	notin
2009-03-24	pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)	letouzey
2009-03-22	coqdoc fixes and support for parsing regular comments (request by	msozeau
2009-02-11	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin
2009-01-15	Patch by Brian Campbell to output more information on the exception that	msozeau
2009-01-07	Suite de la révision #11756	notin
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-11-14	Amélioration du README.doc et de l'installation de la doc	notin
2008-10-31	Ajout d'une option -raw pour Coqdoc (sortie en texte brut)	notin
2008-09-25	Improvements in coqdoc:	msozeau
2008-07-18	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin
2008-05-30	Improvements on coqdoc by adding more information into .glob	msozeau
2008-05-28	add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...	jnarboux
2008-04-08	Ajout d'options a coqdoc pour l'entete html	notin
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-14	Bug de Coqdoc avec l'option -R	notin
2008-02-13	Correction du bug #1512	notin
2008-02-13	Suppression de l'option -glob-from de Coqdoc: les globalisations sont	notin
2007-03-22	Correction des bugs #1455 et #1456	notin
2007-03-22	A tentative fix for bug #1455	lmamane
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-27	Ajout de la doc de l'option -stdout de coqdoc	notin
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-25	r8709@thot: notin \| 2006-03-25 01:48:46 +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
2005-08-19	pas besoin de List.length pour savoir si une liste est vide	letouzey
2004-07-16	Nouvelle en-tête	herbelin
2004-04-13	Suppression documentation option raw-comments qui est vraiment trop ad hoc po...	herbelin
2004-03-26	Ajout option raw-comments pour supprimer affichage de <table>; typos	herbelin
2004-03-16	application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...	filliatr
2004-02-24	coqdoc	filliatr