coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Amélioration de coq_makefile	notin	2009-02-24
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	From v8.2 to trunk:	herbelin	2009-02-06
*	Fix d'un bug avec l'option gallina	notin	2009-02-04
*	- Better deal with commands inside section titles in latex output using	msozeau	2009-01-21
*	Various little fixes:	msozeau	2009-01-18
*	Patch by Brian Campbell to output more information on the exception that	msozeau	2009-01-15
*	Oups... il n'y a pas d'option -impl pour ocamldep	notin	2009-01-09
*	Minor doc fixes:	msozeau	2009-01-08
*	Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'	notin	2009-01-07
*	Suite de la révision #11756	notin	2009-01-07
*	Added installation of .cmi files in "make install" target of coq_makefile.	herbelin	2009-01-04
*	Produce better html code with coqdoc and improve doc:	msozeau	2008-12-29
*	- coq_makefile: target install now respects the original tree structure	herbelin	2008-12-24
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey	2008-12-16
*	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin	2008-12-12
*	- Synchronized subst_object with load_object (load_and_subst_objects)	herbelin	2008-11-23
*	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin	2008-11-22
*	Amélioration du README.doc et de l'installation de la doc	notin	2008-11-14
*	Tentative d'amélioration de la robustesse des Makefile générés par	notin	2008-11-13
*	Suite #11533	notin	2008-11-07
*	Correction du bug #1926	notin	2008-11-07
*	Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...	notin	2008-11-06
*	Minor fixes:	msozeau	2008-11-05
*	2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...	notin	2008-11-04
*	Ajout d'une option -raw pour Coqdoc (sortie en texte brut)	notin	2008-10-31
*	Stop using a coqdocdoc env which prevents use of environments inside	msozeau	2008-10-26
*	Various coqdoc improvements:	msozeau	2008-10-22
*	Syntaxe de COQBIN	notin	2008-10-20
*	- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)	herbelin	2008-10-18
*	## Lines starting with '## ' will be removed from the log message.	msozeau	2008-10-06
*	Minor fixes related to coqdoc and --interpolate and the dependent	msozeau	2008-10-03
*	Forgot one file.	msozeau	2008-09-25
*	Improvements in coqdoc:	msozeau	2008-09-25
*	Add types introduced by subtac in *.glob files	glondu	2008-09-15
*	Correction du bug #1908 (améliorations de coqdoc.css)	notin	2008-09-04
*	Suite 11266 (warning tools/gallina.ml)	herbelin	2008-07-25
*	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin	2008-07-18
*	Affichage intempestif d'information de globalisation + numéro de version dan...	notin	2008-07-18
*	- coqdoc: correction d'un bug sur les commentaires imbriqués	notin	2008-07-17
*	Oubli lors de la révision #11177	notin	2008-06-26
*	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin	2008-06-25
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	Code cleanup in typeclasses, remove dead and duplicated code.	msozeau	2008-06-21
*	Little fixes: print unbound variable in error message (patch by Samuel	msozeau	2008-06-19
*	Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk	herbelin	2008-06-18
*	Add possibility to match on defined hypotheses, using brackets to	msozeau	2008-06-16
*	Correction d'un problème lié à une interaction entre hyperref et	notin	2008-06-12
*	Prise en compte de l'export des .cmi dans coq_makefile	notin	2008-06-11