clean up Resource

This commit is contained in:
aarne
2005-02-17 21:49:09 +00:00
parent 2f52869f08
commit b7ced424be
8 changed files with 13 additions and 18 deletions

View File

@@ -26,7 +26,7 @@
--
-- The following modules are presupposed:
resource ParadigmsEng = open (Predef=Predef), Prelude, SyntaxEng, ---- ResourceEng in {
resource ParadigmsEng = open (Predef=Predef), Prelude, SyntaxEng,
CategoriesEng, RulesEng in {
--2 Parameters
--