aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-03-19Ajout test bug #935herbelin
2005-03-19Report depuis la V8.0pl2 de la correction d'un bug du traducteurherbelin
2005-03-18majcoq
2005-03-18majcoq
2005-03-18appel de Simplify depuis Coqcoq
2005-03-17majcoq
2005-03-17majcoq
2005-03-17Nouvelle syntaxe 'with' des modules non gérée en v7herbelin
2005-03-17majcoq
2005-03-17majcoq
2005-03-16majcoq
2005-03-16majcoq
2005-03-16MAJ PolyList -> Listherbelin
2005-03-16Nouvelle syntaxe 'with' des modules non gérée en v7herbelin
2005-03-16tactiques prouveurs premier ordre dans contrib/dp/coq
2005-03-16nouvelles tactiques pour appeler des procedures de decision du premier ordrecoq
2005-03-15majcoq
2005-03-15majcoq
2005-03-15Unsharing before exportation to ensure uniqueness of xml id'sherbelin
2005-03-15Backtrack sur la substitution combinée avec l'instanciation en réponse à l...herbelin
2005-03-14majcoq
2005-03-13majcoq
2005-03-12majcoq
2005-03-12Explicitation d'un nom de variable nécessaire au bon typage, suite à suppre...herbelin
2005-03-12Backtrack version 1.82 awaiting for better understanding of the consequences ...herbelin
2005-03-11majcoq
2005-03-11Méthode plus raisonnable pour supprimer l'inefficacité des evars dépendant...herbelin
2005-03-11Ajout de COQLIB/user-contrib à l'installation pour insister sur la possibili...herbelin
2005-03-11Ajout récursif du répertoire COQLIB/user-contrib au chemin de chargementherbelin
2005-03-10majcoq
2005-03-10A défaut de substitution paresseuse ou explicite, ajout d'une substitution o...herbelin
2005-03-10A défaut de substitution paresseuse ou explicite, ajout d'une substitution o...herbelin
2005-03-09majcoq
2005-03-09bug #931 (continued): no recursion on the evars instantiationherbelin
2005-03-08majcoq
2005-03-08majcoq
2005-03-08Fix bug #931: leave dependent evars as such for refineherbelin
2005-03-08Ajout foldherbelin
2005-03-07majcoq
2005-03-07Added 'clear - id' to clear all hypotheses except the ones dependent in the s...herbelin
2005-03-07Added 'clear - id' to clear all hypotheses except the ones dependent in the s...herbelin
2005-03-06majcoq
2005-03-06the package script disappeared in MacOS 10.3: we locally copy the 10.2 versionherbelin
2005-03-05majcoq
2005-03-04majcoq
2005-03-03majcoq
2005-03-02majcoq
2005-03-01majcoq
2005-03-01clean de parser.optherbelin
2005-03-01Code mortherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 06:59:43 +0000