coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Optionally (and by default) split typeclasses evars into connected	msozeau	2008-06-11
*	now Escape toggles query pane	jnarboux	2008-06-11
*	MAJ diverses	herbelin	2008-06-11
*	Plutôt que de reposer sur le vernacexpr pour détecter les débuts de	herbelin	2008-06-11
*	Correction de deux bugs liés au commit 11094 sur les clauses "at" et "in".	herbelin	2008-06-11
*	escape key now hides pane	jnarboux	2008-06-11
*	Zpow_facts.Zmult_power: kills a useless hypothesis	letouzey	2008-06-11
*	Ajout query Locate dans coqide sur suggestion Arthur C.	herbelin	2008-06-10
*	- Amélioration nommage dans EqdepFacts suivant remarque de Arthur C.	herbelin	2008-06-10
*	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin	2008-06-10
*	open and save buttons are the default	barras	2008-06-10
*	- Correct handling of DependentMorphism error, using tclFAIL instead of	msozeau	2008-06-10
*	2-3 petites modifs sur la doc	notin	2008-06-10
*	Backtrack sur l'"optimisation" de admit (révision 11084). Comme le	herbelin	2008-06-10
*	correction d'un bug sur la commande Include.	soubiran	2008-06-10
*	Fix the number parsing/printing for BigN/BigZ/BigQ	letouzey	2008-06-10
*	Suppression de la dépendance de Micromega envers Coq.Reals.Reals. Corrige le...	notin	2008-06-10
*	- Correction bug 1841 (identificateurs incorrects avec Subclass)	herbelin	2008-06-10
*	- Correction de la version simplifiée (filtrage sur deux sig	herbelin	2008-06-09