1
0
forked from GitHub/gf-rgl

further work on tutorial

This commit is contained in:
aarne
2007-05-30 19:29:24 +00:00
parent 7b26c8a7b8
commit d869218407
4 changed files with 42 additions and 17 deletions

View File

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