aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2003-04-30majfilliatr
2003-04-18majfilliatr
2003-04-10majfilliatr
2003-02-14MAJ pour Reals/SeqSeries.vdesmettr
2003-01-22MAJ pour renommage Rcompletdesmettr
2003-01-21Binome.v -> Binomial.vdesmettr
2003-01-16*** empty log message ***desmettr
2003-01-16renommage de TAF.v en MVT.vdesmettr
2003-01-16Renommage de RealsB en Rbasedesmettr
2003-01-07majfilliatr
2003-01-06bit vectorsfilliatr
2002-11-28majfilliatr
2002-11-27Réorganisation de la librairie des réelsdesmettr
2002-11-27Réorganisation de la librairie des réelsdesmettr
2002-11-27majfilliatr
2002-11-26Option pour compiler une version 'light' des réelsdesmettr
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-15maj apres reparation d'un bug coqdepletouzey
2002-11-15majfilliatr
2002-10-15commit du calcul des dependances un peu plus robustebarras
2002-10-15majfilliatr
2002-10-14coqdep bogué, retour sur version 1.75herbelin
2002-10-14majfilliatr
2002-10-13Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...herbelin
2002-10-11majfilliatr
2002-10-10Ajout ClassicalFactsherbelin
2002-10-08majfilliatr
2002-10-07majfilliatr
2002-10-03majfilliatr
2002-10-02majfilliatr
2002-09-27majfilliatr
2002-09-20majfilliatr
2002-09-20majfilliatr
2002-08-14MAJ depend.coqcoq
2002-08-02Modules dans COQ\!\!\!\!coq
2002-07-19correction bugs Tautocourant
2002-07-15Correction bug Tauto : la regle pour (A->B)->C echouait quand C etaitcourant
2002-07-02majfilliatr
2002-06-28resynchronisation du .depend.coqletouzey
2002-06-20ZArith_base, Zbool, Bool_natfilliatr
2002-06-19deplacement contrib/correctness/ProgWf -> theories/ZArith/Zwffilliatr
2002-06-07extraction vers schemeletouzey
2002-06-07Adding file theories/ZArith/Zsqrt.v that contains a square root function.bertot
2002-05-31.depend.coq remis a jourletouzey
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-16MAJherbelin
2002-05-15majfilliatr
2002-05-14nouveaux lemmes dans Zdiv (Claude Marche)filliatr
2002-04-05nouveau module Zdivfilliatr
2002-03-27Elimination Elimdep.vmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 08:29:27 +0000