aboutsummaryrefslogtreecommitdiff
path: root/kernel/sign.mli
AgeCommit message (Expand)Author
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-08-30un petit effort de presentation dans les interfacesfilliatr
1999-08-26environnement surfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
1999-08-17generic, term et evdfilliatr
1999-08-16ancien names decoupe en names + signfilliatr