coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coqdoc is minimaly -Q aware	Pierre Boutillier	2014-07-03
*	Updating headers.	herbelin	2012-08-08
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Fix for handling of -R "" in coqdoc (bug #2423).	herbelin	2011-04-25
*	Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the	msozeau	2010-09-28
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove compile-command pragmas for emacs	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	New model for user-driven translation of tokens in coqdoc	herbelin	2010-04-06
*	Fixed small bugs introduced in commit 12890 (bug #2286, that comes	herbelin	2010-03-30
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Added option --external to coqdoc to bind an url to an external library.	herbelin	2009-10-27
*	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
*	pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)	letouzey	2009-03-24
*	coqdoc fixes and support for parsing regular comments (request by	msozeau	2009-03-22
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Patch by Brian Campbell to output more information on the exception that	msozeau	2009-01-15
*	Suite de la révision #11756	notin	2009-01-07
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Amélioration du README.doc et de l'installation de la doc	notin	2008-11-14
*	Ajout d'une option -raw pour Coqdoc (sortie en texte brut)	notin	2008-10-31
*	Improvements in coqdoc:	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
*	Improvements on coqdoc by adding more information into .glob	msozeau	2008-05-30
*	add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...	jnarboux	2008-05-28
*	Ajout d'options a coqdoc pour l'entete html	notin	2008-04-08
*	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
*	Correction d'un bug de Coqdoc (indentation des lignes)	notin	2008-02-25
*	Bug de Coqdoc avec l'option -R	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
*	Correction des bugs #1455 et #1456	notin	2007-03-22
*	A tentative fix for bug #1455	lmamane	2007-03-22
*	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
*	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
*	r8709@thot: notin \| 2006-03-25 01:48:46 +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
*	pas besoin de List.length pour savoir si une liste est vide	letouzey	2005-08-19
*	Nouvelle en-tête	herbelin	2004-07-16
*	Suppression documentation option raw-comments qui est vraiment trop ad hoc po...	herbelin	2004-04-13