aboutsummaryrefslogtreecommitdiff
path: root/pretyping/multcase.mli
AgeCommit message (Expand)Author
2002-11-13Un revenant hors sujetherbelin
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
1999-12-01 - environment -> safe_environmentfilliatr
1999-11-30ocamlwebfilliatr
1999-11-26Version initialeherbelin
1999-10-13organisation de trad (entre parsing/ et pretyping/)filliatr