aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2000-11-15mise a jourfilliatr
2000-11-10Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...herbelin
2000-11-07Modification de la table des tactic Definitions pour eviter l'ecrituremohring
2000-11-05MAJherbelin
2000-11-03Few OCaml files in contrib/xmlsacerdot
2000-10-26ntrefiner.ml* removed in module xmlsacerdot
2000-10-25xml contribution added to the Makefilesacerdot
2000-09-18mise a jour dependancesfilliatr
2000-07-20portage Refinefilliatr
2000-06-21portage EAuto et Ringfilliatr
2000-06-12mise a jourfilliatr
2000-05-02portage Omega (mais toujours pas Zpower et Zlogarithm)filliatr
2000-04-28portage en ocaml / camlp4 3.00filliatr
2000-03-20Tautofilliatr
2000-03-18ZArithfilliatr
2000-03-18bug discharge (work_alist contenanti plein de fois les memes choses)filliatr
2000-03-10compilation theories/Arithfilliatr
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
2000-01-07Restructuration diversesherbelin
1999-12-13documentationfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 21:12:36 +0000