tuning resource API

2005-02-06 09:52:19 +00:00
parent a89dc272e2
commit 67c8ef5e9b
33 changed files with 2061 additions and 1432 deletions
--- a/resource/english/CountryEng.gf
+++ b/resource/english/CountryEng.gf
@@ -1,4 +1,4 @@
-concrete CountryEng of Country = open ResourceEng, NewParadigmsEng in {
+concrete CountryEng of Country = open ResourceEng, ParadigmsEng in {

  lincat
    Country = PN ;