1
0
forked from GitHub/gf-rgl

resource fixes

This commit is contained in:
aarne
2005-09-17 16:01:52 +00:00
parent 6a7873fd95
commit 6d2ef4bb08
16 changed files with 119 additions and 278 deletions

View File

@@ -6,7 +6,8 @@ concrete LangSpa of Lang =
StructuralSpa,
BasicSpa,
TimeSpa,
CountrySpa
CountrySpa,
MathSpa
** open Prelude, ParadigmsSpa in {