aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
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-28 18:48:16 +0000