coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	- Correct handling of DependentMorphism error, using tclFAIL instead of	msozeau	2008-06-10
*	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin	2008-06-09
*	Enhancements to coqdoc, better globalization of sections and modules.	msozeau	2008-06-06
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	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
*	Correction d'un bug dans coq_makefile: génération des règles implicites en...	notin	2008-04-29
*	Ajout d'options a coqdoc pour l'entete html	notin	2008-04-08
*	- Correction d'un bug de coq_makefile sur les variables CAMLLIBS et	notin	2008-04-03
*	Bug dans la gestion des dépendances vers les .ml	notin	2008-03-26
*	Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...	notin	2008-03-26
*	Prise en compte des dépendances des .ml	notin	2008-03-25
*	Correction d'un bug dans la gestion des 'Declare ML Module'	notin	2008-03-25
*	Various improvements of coqdep, resulting in a big speedup	letouzey	2008-03-19
*	New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile	letouzey	2008-03-14
*	Coq_makefile : backtrack sur les liens vers les exécutables ocaml	notin	2008-03-08
*	Correction d'un bug de coq_makefile	notin	2008-03-07
*	Coq_makefile: correction de l'appel aux exécutables Ocaml	notin	2008-02-28
*	Coq_makefile: Correction d'un bug sur les options passées à Coqdoc	notin	2008-02-28
*	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
*	coq_makefile: variables	notin	2008-02-25
*	coq_makefile: dépendances + génération des fichiers html	notin	2008-02-25
*	Bug de coqdoc : les commentaires simples généraient des lignes vides	notin	2008-02-25
*	Correction d'un bug de Coqdoc (indentation des lignes)	notin	2008-02-25