aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2002-12-13majfilliatr
2002-12-12Ajout du vernac Proof withgregoire
2002-12-12majfilliatr
2002-12-11majfilliatr
2002-12-10majfilliatr
2002-12-09Corrections de gestion des univers et modules + meilleure gestions des noms...coq
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 18:29:25 +0000