| Age | Commit message (Expand) | Author |
|---|
| 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-24 | 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-22 | MAJ fichiers spécifiques trunk | herbelin |
| 2008-06-22 | Rename obligations_tactic to obligation_tactic and fix bugs #1893. | msozeau |
| 2008-06-21 | 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-20 | typo in a comment | letouzey |
| 2008-06-19 | 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-18 | 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-17 | 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-16 | Add possibility to match on defined hypotheses, using brackets to | msozeau |
| 2008-06-14 | Correction bug 1878 (utilisation de extend_evar déplacée là où une | herbelin |
| 2008-06-13 | 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-12 | 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-11 | 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 |
