diff --git a/resource/english/LangEng.gf b/resource/english/LangEng.gf index 5c12ef02..9fcb86d9 100644 --- a/resource/english/LangEng.gf +++ b/resource/english/LangEng.gf @@ -1,5 +1,7 @@ --# -path=.:../abstract:../../prelude +-- # -path=.:resource/english:resource/abstract:prelude + concrete LangEng of Lang = RulesEng, ClauseEng,