further work on tutorial

This commit is contained in:
aarne
2007-05-30 19:29:24 +00:00
parent 3447b34e09
commit 1c59cd63f9
9 changed files with 1799 additions and 1852 deletions

View File

@@ -25,8 +25,7 @@
resource ParadigmsFin = open
(Predef=Predef),
Prelude,
MorphoFin,
CatFin
MorphoFin
in {
flags optimize=noexpand ;