| Age | Commit message (Expand) | Author |
|---|
| 2008-07-02 | Improved robustness of micromega parser. Proof search of Micromega test-suite... | fbesson |
| 2008-07-01 | Documentation Prop<=Set et Arguments Scope Global | herbelin |
| 2008-07-01 | Various bug fixes in type classes and subtac: | msozeau |
| 2008-07-01 | correction sur la doc des modules | soubiran |
| 2008-07-01 | Encore une suite au 11188/11193 (c'était pas un bon jour) | herbelin |
| 2008-06-30 | QMake : alternative equivalences with Qcanon thanks to earlier irreducibility... | letouzey |
| 2008-06-30 | Fichiers oubliés lors du 11188 :-( | herbelin |
| 2008-06-29 | Correction d'un bug dans l'analyse des contraintes non résolues | herbelin |
| 2008-06-29 | Correction bug "parser" suite changement syntaxe | herbelin |
| 2008-06-29 | Lissage de la gestion des chemins de chargement de fichiers : | herbelin |
| 2008-06-29 | Préférence donnée aux constantes qui ne sont pas des projections | herbelin |
| 2008-06-28 | QMake: Proofs that add_norm and other ..._norm functions produce irreducible ... | letouzey |
| 2008-06-27 | (Partial) fix for bug #1892, adding a missing newline. | msozeau |
| 2008-06-27 | Enhanced discrimination nets implementation, which can now work with | msozeau |
| 2008-06-27 | Changement de catch_error pour qu'il rattrape les erreurs d'arguments | aspiwack |
| 2008-06-27 | Logo Coq dans coqide | notin |
| 2008-06-26 | Mauvaise dépendance dans Makefile.doc | notin |
| 2008-06-26 | Oubli lors de la révision #11177 | notin |
| 2008-06-25 | 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-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 |
