aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2002-12-09chamboulement du codage des indcutifs extraits; deplacements des tables; ...letouzey
2002-12-06majfilliatr
2002-12-04majfilliatr
2002-12-03majfilliatr
2002-11-30majfilliatr
2002-11-29majfilliatr
2002-11-28majfilliatr
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-26MAJherbelin
2002-11-26majfilliatr
2002-11-25majfilliatr
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-18majfilliatr
2002-11-16majfilliatr
2002-11-15maj apres reparation d'un bug coqdepletouzey
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-14majfilliatr
2002-11-08majfilliatr
2002-11-06majfilliatr
2002-11-05Intégration des modifs de la branche mowgli :herbelin
2002-11-01majfilliatr
2002-10-31majfilliatr
2002-10-29majfilliatr
2002-10-28majfilliatr
2002-10-22majfilliatr
2002-10-16majfilliatr
2002-10-15commit du calcul des dependances un peu plus robustebarras
2002-10-15majfilliatr
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-09majfilliatr
2002-10-07majfilliatr
2002-10-01Adding the congruence closure tactics (CC and CCsolve).corbinea
2002-10-01majfilliatr
2002-09-30majfilliatr
2002-09-21majfilliatr
2002-09-20La notation with dependante + affichage dependante de moduels corrigecoq
2002-09-20majfilliatr
2002-09-20majfilliatr
2002-09-20majfilliatr
2002-08-19La notation 'with'. L'interpretation - version preliminairecoq
2002-08-19MAJ .dependcoq
2002-08-19Pretty-printing preliminaire des modules, commandescoq
2002-08-16Strengthenning rules for modules + No modules in sectionscoq
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 18:03:44 +0000