aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend.coq
Commit message (Expand)AuthorAge
* MAJ pour Reals/SeqSeries.vGravatar desmettr2003-02-14
* MAJ pour renommage RcompletGravatar desmettr2003-01-22
* Binome.v -> Binomial.vGravatar desmettr2003-01-21
* *** empty log message ***Gravatar desmettr2003-01-16
* renommage de TAF.v en MVT.vGravatar desmettr2003-01-16
* Renommage de RealsB en RbaseGravatar desmettr2003-01-16
* majGravatar filliatr2003-01-07
* bit vectorsGravatar filliatr2003-01-06
* majGravatar filliatr2002-11-28
* Réorganisation de la librairie des réelsGravatar desmettr2002-11-27
* Réorganisation de la librairie des réelsGravatar desmettr2002-11-27
* majGravatar filliatr2002-11-27
* Option pour compiler une version 'light' des réelsGravatar desmettr2002-11-26
* Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...Gravatar herbelin2002-11-24
* maj apres reparation d'un bug coqdepGravatar letouzey2002-11-15
* majGravatar filliatr2002-11-15
* commit du calcul des dependances un peu plus robusteGravatar barras2002-10-15
* majGravatar filliatr2002-10-15
* coqdep bogué, retour sur version 1.75Gravatar herbelin2002-10-14
* majGravatar filliatr2002-10-14
* Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...Gravatar herbelin2002-10-13
* majGravatar filliatr2002-10-11
* Ajout ClassicalFactsGravatar herbelin2002-10-10
* majGravatar filliatr2002-10-08
* majGravatar filliatr2002-10-07
* majGravatar filliatr2002-10-03
* majGravatar filliatr2002-10-02
* majGravatar filliatr2002-09-27
* majGravatar filliatr2002-09-20
* majGravatar filliatr2002-09-20
* MAJ depend.coqGravatar coq2002-08-14
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* correction bugs TautoGravatar courant2002-07-19
* Correction bug Tauto : la regle pour (A->B)->C echouait quand C etaitGravatar courant2002-07-15
* majGravatar filliatr2002-07-02
* resynchronisation du .depend.coqGravatar letouzey2002-06-28
* ZArith_base, Zbool, Bool_natGravatar filliatr2002-06-20
* deplacement contrib/correctness/ProgWf -> theories/ZArith/ZwfGravatar filliatr2002-06-19
* extraction vers schemeGravatar letouzey2002-06-07
* Adding file theories/ZArith/Zsqrt.v that contains a square root function.Gravatar bertot2002-06-07
* .depend.coq remis a jourGravatar letouzey2002-05-31
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* MAJGravatar herbelin2002-05-16
* majGravatar filliatr2002-05-15
* nouveaux lemmes dans Zdiv (Claude Marche)Gravatar filliatr2002-05-14
* nouveau module ZdivGravatar filliatr2002-04-05
* Elimination Elimdep.vGravatar mohring2002-03-27
* ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...Gravatar letouzey2002-01-18
* mise a jourGravatar filliatr2001-12-10
* remise au gout du jour du repertoire theories/Sorting de la V6.3Gravatar letouzey2001-11-21
generated by cgit v1.2.3 (git 2.39.1) at 2025-02-02 18:45:47 +0000