aboutsummaryrefslogtreecommitdiff
path: root/kernel/closure.mli
AgeCommit message (Expand)Author
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-08-26 - abstractionfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
1999-08-18module Reduction (debut)filliatr
1999-08-17module Closurefilliatr