coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Changement de catch_error pour qu'il rattrape les erreurs d'arguments	aspiwack	2008-06-27
*	Logo Coq dans coqide	notin	2008-06-27
*	Mauvaise dépendance dans Makefile.doc	notin	2008-06-26
*	Oubli lors de la révision #11177	notin	2008-06-26
*	Some work on BigQ :	letouzey	2008-06-25
*	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin	2008-06-25
*	Report de la révision #11175 de la branche v8.2 vers le trunk	notin	2008-06-25
*	Installation de la documentation	notin	2008-06-25
*	Micromega : bugs fixes - renaming of tactics - documentation	fbesson	2008-06-25
*	Typo in documentation (isn't it?)	glondu	2008-06-25
*	Les contraintes d'univers sont maintenant collectées dans le champs mod_cons...	soubiran	2008-06-25
*	Catch a Not_found exception in the Combined Scheme mechanism to hide an ugly	vsiles	2008-06-24
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	MAJ fichiers spécifiques trunk	herbelin	2008-06-22
*	Rename obligations_tactic to obligation_tactic and fix bugs #1893.	msozeau	2008-06-22
*	Code cleanup in typeclasses, remove dead and duplicated code.	msozeau	2008-06-21
*	Correction petit bug sur révision 11159 (res_pf fait un effet de bord	herbelin	2008-06-21
*	Fix bug #1889, correct globalization in class declarations.	msozeau	2008-06-21
*	- Implantation de la suggestion 1873 sur discriminate. Au final,	herbelin	2008-06-21
*	Correction bug #1886 (pb unification.ml, report de 11157 de v8.2 vers trunk)	herbelin	2008-06-21
*	Various improvements in handling of evars in general and typing	msozeau	2008-06-21
*	typo in a comment	letouzey	2008-06-20
*	Little fixes: print unbound variable in error message (patch by Samuel	msozeau	2008-06-19
*	incomplete bugfix for info	corbinea	2008-06-19
*	removed unwanted linebreaks in pretty printing	corbinea	2008-06-19
*	Propagation des révisions 11144 et 11136 de la 8.2 vers le trunk	herbelin	2008-06-18
*	Fix bug in implementation of splitting of class constraints.	msozeau	2008-06-18
*	Improvements in subtac:	msozeau	2008-06-18
*	Compatibility fixes (Add Setoid bug and accidental introduction of a	msozeau	2008-06-18
*	meilleur gestion de la fonction de "cache" des alias (declaremods), et correc...	soubiran	2008-06-18
*	Detection de l'architecture sous Windows (et sans uname -o)	notin	2008-06-18
*	Où l'on se débarrasse de uname -o	notin	2008-06-18
*	Fix bug in handling of classes and instances inside sections at	msozeau	2008-06-17
*	Cleanup in subtac_cases, preparing to use improvements on return predicate	msozeau	2008-06-17
*	Fixes w.r.t. let binders in class contexts and Add Parametric	msozeau	2008-06-17
*	Better typeclass error messages, always giving the full set of	msozeau	2008-06-17
*	Add possibility to match on defined hypotheses, using brackets to	msozeau	2008-06-16
*	Correction bug 1878 (utilisation de extend_evar déplacée là où une	herbelin	2008-06-14
*	CoqIDE: 2 problèmes de undo encore:	herbelin	2008-06-13
*	Temporary fix for bug #1876, printing fails because of unresolved	msozeau	2008-06-13
*	Numéros de version dans la doc	notin	2008-06-13
*	Correction d'un problème lié à une interaction entre hyperref et	notin	2008-06-12
*	Changing the definitions of pred and minus in the style of GG	werner	2008-06-12
*	Correction parser révélé par test-suite	herbelin	2008-06-12
*	Compilation Windows	notin	2008-06-12
*	Remplacement des 'cp' et 'mkdir' par 'install'	notin	2008-06-12
*	Confusion sur commit précédent de library. La capture du Not_found	herbelin	2008-06-12
*	Bug dans l'adaptation de library_full_filename lors du débranchement	herbelin	2008-06-11
*	Correction bug alias d'alias.	soubiran	2008-06-11
*	Prise en compte de l'export des .cmi dans coq_makefile	notin	2008-06-11