aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
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
2002-06-20majfilliatr
2002-06-07extraction vers schemeletouzey
2002-06-05affaiblissement hyp de Zmult_reg_leftfilliatr
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-04-19jLogic disparaîtherbelin
2002-04-17*** empty log message ***courant
2002-04-10backtrack dans l'algo d'unificationbarras
2002-03-22An intuitionistic first-order theorem prover -- JProver.huang
2002-03-12Makefilecourant
2002-03-04Big commit extraction:letouzey
2002-02-20Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parceddr
2002-02-14- Reforme de la gestion des args recursifs (via arbres reguliers)barras
2002-02-11substitution et pattern modulo letbarras
2002-01-31changement generation de schema d'elimination, False_rec est primitif, Constr...mohring
2002-01-17MAJherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 16:44:16 +0000