aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2003-10-04majfilliatr
2003-09-23Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...herbelin
2003-09-23majfilliatr
2003-09-12Suppression DatatypesSyntax et PeanoSyntax qui était videsherbelin
2003-07-09majfilliatr
2003-06-25majfilliatr
2003-06-14dependcoq integre les fichiers de fsetsletouzey
2003-06-14majfilliatr
2003-06-13FSets, mais pas compile' par make worldfilliatr
2003-06-13quelques adaptations de Zarith en vu de la nouvelle librarie FSetletouzey
2003-06-11majfilliatr
2003-05-21Concentration des notations officielles dans Init/Notations; restructuration ...herbelin
2003-05-14majfilliatr
2003-05-13Nouveaux lemmes (sur proposition de Nijmegen)herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 17:48:59 +0000