coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Coqdoc: also try coqlib relative to the coqdoc binary location	letouzey	2011-04-20
*	Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the	msozeau	2010-09-28
*	Minor fixes of 'make doc'	pboutill	2010-09-28
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,	msozeau	2009-09-04
*	Add --plain-comments patch by F. Garillot, which also adds	msozeau	2009-09-03
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	coqdoc fixes and support for parsing regular comments (request by	msozeau	2009-03-22
*	Ajout d'une option -raw pour Coqdoc (sortie en texte brut)	notin	2008-10-31
*	Forgot one file.	msozeau	2008-09-25
*	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin	2008-07-18
*	Ajout d'options a coqdoc pour l'entete html	notin	2008-04-08
*	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
*	Support des modules dans Coqdoc	notin	2006-05-26
*	Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...	notin	2006-05-02
*	r8620@thot: notin \| 2006-03-08 11:44:16 +0100	notin	2006-03-08