1
0
forked from GitHub/gf-rgl

overload checking and messages; resource.txt modifs

This commit is contained in:
aarne
2007-05-31 09:58:38 +00:00
parent d869218407
commit 6ec3405978
5 changed files with 30 additions and 55 deletions

View File

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