aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend.coq
Commit message (Expand)AuthorAge
* Concentration des notations officielles dans Init/Notations; restructuration ...Gravatar herbelin2003-05-21
* majGravatar filliatr2003-05-14
* Nouveaux lemmes (sur proposition de Nijmegen)Gravatar herbelin2003-05-13
* majGravatar filliatr2003-04-30
* majGravatar filliatr2003-04-18
* majGravatar filliatr2003-04-10
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 07:10:54 +0000