aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend.coq
Commit message (Expand)AuthorAge
* simplification du make depend; fonctions de stat. util. memoire dans certains...Gravatar filliatr2001-02-08
* calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)Gravatar filliatr2001-02-05
* mise a jourGravatar filliatr2000-11-29
* MAJGravatar herbelin2000-11-26
* ajout de theories/WellfoundedGravatar filliatr2000-11-21
* separation calcul des implicites et declaration des constantes / inductifs / ...Gravatar filliatr2000-11-21
* MAJGravatar herbelin2000-11-20
* mise a jourGravatar filliatr2000-11-15
* Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...Gravatar herbelin2000-11-10
* Modification de la table des tactic Definitions pour eviter l'ecritureGravatar mohring2000-11-07
* MAJGravatar herbelin2000-11-05
* Few OCaml files in contrib/xmlGravatar sacerdot2000-11-03
* ntrefiner.ml* removed in module xmlGravatar sacerdot2000-10-26
* xml contribution added to the MakefileGravatar sacerdot2000-10-25
* mise a jour dependancesGravatar filliatr2000-09-18
* portage RefineGravatar filliatr2000-07-20
* portage EAuto et RingGravatar filliatr2000-06-21
* mise a jourGravatar filliatr2000-06-12
* portage Omega (mais toujours pas Zpower et Zlogarithm)Gravatar filliatr2000-05-02
* portage en ocaml / camlp4 3.00Gravatar filliatr2000-04-28
* TautoGravatar filliatr2000-03-20
* ZArithGravatar filliatr2000-03-18
* bug discharge (work_alist contenanti plein de fois les memes choses)Gravatar filliatr2000-03-18
* compilation theories/ArithGravatar filliatr2000-03-10
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Restructuration diversesGravatar herbelin2000-01-07
* documentationGravatar filliatr1999-12-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-24 17:24:24 +0000