changed names of resource-1.3; added a note on homepage on release

18 files changed, 0 insertions, 284 deletions

diff --git a/examples/regulus/toy0/Toy0.gf b/examples/regulus/toy0/Toy0.gf
deleted file mode 100644
index b1e2d6a40..000000000
--- a/examples/regulus/toy0/Toy0.gf
+++ /dev/null
@@ -1,15 +0,0 @@
--- toy0 grammar from Chapter 2 of the Regulus book
-abstract Toy0 = {
-
-  flags startcat=NP ;
-
-  cat 
-    NP ; 
-    Noun ; 
-    Spec ;
-
-  fun  
-    SpecNoun      : Spec -> Noun -> NP ;
-    One, Two      : Spec ;
-    Felis, Canis  : Noun ;
-}
diff --git a/examples/regulus/toy0/Toy0Eng.gf b/examples/regulus/toy0/Toy0Eng.gf
deleted file mode 100644
index edfe520e4..000000000
--- a/examples/regulus/toy0/Toy0Eng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete Toy0Eng of Toy0 = Toy0I with
-  (Syntax = SyntaxEng),
-  (Lexicon = LexiconEng) ;
diff --git a/examples/regulus/toy0/Toy0Fin.gf b/examples/regulus/toy0/Toy0Fin.gf
deleted file mode 100644
index f550e751e..000000000
--- a/examples/regulus/toy0/Toy0Fin.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete Toy0Fin of Toy0 = Toy0I with
-  (Syntax = SyntaxFin),
-  (Lexicon = LexiconFin) ;
diff --git a/examples/regulus/toy0/Toy0Fre.gf b/examples/regulus/toy0/Toy0Fre.gf
deleted file mode 100644
index 513e9b390..000000000
--- a/examples/regulus/toy0/Toy0Fre.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete Toy0Fre of Toy0 = Toy0I with
-  (Syntax = SyntaxFre),
-  (Lexicon = LexiconFre) ;
diff --git a/examples/regulus/toy0/Toy0I.gf b/examples/regulus/toy0/Toy0I.gf
deleted file mode 100644
index efb6e730a..000000000
--- a/examples/regulus/toy0/Toy0I.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-incomplete concrete Toy0I of Toy0 = open Syntax, Lexicon in {
-
-lincat
-  Spec = Det ;
-  Noun = N ;
-  NP   = Utt ;
-
-lin
-  SpecNoun spec noun = mkUtt (mkNP spec noun) ;
-
-  One = mkDet n1_Numeral ;
-  Two = mkDet n2_Numeral ;
-
-  Felis = cat_N ;
-  Canis = dog_N ;
-
-}
-
diff --git a/examples/regulus/toy0/Toy0Swe.gf b/examples/regulus/toy0/Toy0Swe.gf
deleted file mode 100644
index 5de273d00..000000000
--- a/examples/regulus/toy0/Toy0Swe.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:prelude
-
-concrete Toy0Swe of Toy0 = Toy0I with
-  (Syntax = SyntaxSwe),
-  (Lexicon = LexiconSwe) ;
diff --git a/examples/regulus/toy0/example-based/Toy0.gf b/examples/regulus/toy0/example-based/Toy0.gf
deleted file mode 100644
index b1e2d6a40..000000000
--- a/examples/regulus/toy0/example-based/Toy0.gf
+++ /dev/null
@@ -1,15 +0,0 @@
--- toy0 grammar from Chapter 2 of the Regulus book
-abstract Toy0 = {
-
-  flags startcat=NP ;
-
-  cat 
-    NP ; 
-    Noun ; 
-    Spec ;
-
-  fun  
-    SpecNoun      : Spec -> Noun -> NP ;
-    One, Two      : Spec ;
-    Felis, Canis  : Noun ;
-}
diff --git a/examples/regulus/toy0/example-based/Toy0Ger.gf b/examples/regulus/toy0/example-based/Toy0Ger.gf
deleted file mode 100644
index 7355cbfac..000000000
--- a/examples/regulus/toy0/example-based/Toy0Ger.gf
+++ /dev/null
@@ -1,6 +0,0 @@
---# -path=.:present:prelude
-
-concrete Toy0Ger of Toy0 = Toy0I with
-  (Grammar = GrammarGer),
-  (Lexicon = LexiconGer) ;
-
diff --git a/examples/regulus/toy0/example-based/Toy0I.gfe b/examples/regulus/toy0/example-based/Toy0I.gfe
deleted file mode 100644
index 4589bf4b6..000000000
--- a/examples/regulus/toy0/example-based/Toy0I.gfe
+++ /dev/null
@@ -1,23 +0,0 @@
---# -resource=present/LangEng.gfc
---# -path=.:present:prelude
-
--- to compile: gf -examples Toy0I.gfe
-
-incomplete concrete Toy0I of Toy0 = open Grammar, Lexicon in {
-
-lincat
-  Spec = Det ;
-  Noun = N ;
-  NP   = Utt ;
-
-lin
-  SpecNoun every_Det house_N = in Utt "every house" ;
-
-  One = in Det "one" ;
-  Two = in Det "two" ;
-
-  Felis = in N "cat" ;
-  Canis = in N "dog" ;
-
-}
-
diff --git a/examples/regulus/toy0/no-functor/Toy0.gf b/examples/regulus/toy0/no-functor/Toy0.gf
deleted file mode 100644
index b1e2d6a40..000000000
--- a/examples/regulus/toy0/no-functor/Toy0.gf
+++ /dev/null
@@ -1,15 +0,0 @@
--- toy0 grammar from Chapter 2 of the Regulus book
-abstract Toy0 = {
-
-  flags startcat=NP ;
-
-  cat 
-    NP ; 
-    Noun ; 
-    Spec ;
-
-  fun  
-    SpecNoun      : Spec -> Noun -> NP ;
-    One, Two      : Spec ;
-    Felis, Canis  : Noun ;
-}
diff --git a/examples/regulus/toy0/no-functor/Toy0Eng.gf b/examples/regulus/toy0/no-functor/Toy0Eng.gf
deleted file mode 100644
index 3bd6613a3..000000000
--- a/examples/regulus/toy0/no-functor/Toy0Eng.gf
+++ /dev/null
@@ -1,16 +0,0 @@
---# -path=.:present:api:prelude
-concrete Toy0Eng of Toy0 = 
-    open SyntaxEng, ParadigmsEng in {
-
-  flags language=en_US ;
-
-  lincat
-    Spec = Det ; Noun = N ; NP = Utt ;
-
-  lin
-    SpecNoun s n  = mkUtt (mkNP s n) ;
-    One           = mkDet one_Quant ;
-    Two           = mkDet n2_Numeral ;
-    Felis         = mkN "cat" ;
-    Canis         = mkN "dog" ;
-}
diff --git a/examples/regulus/toy0/no-functor/Toy0Fin.gf b/examples/regulus/toy0/no-functor/Toy0Fin.gf
deleted file mode 100644
index 4ebbf6f36..000000000
--- a/examples/regulus/toy0/no-functor/Toy0Fin.gf
+++ /dev/null
@@ -1,16 +0,0 @@
---# -path=.:present:prelude
-
-concrete Toy0Fin of Toy0 = open SyntaxFin, ParadigmsFin in {
-
-lincat
-  Spec = Det ;
-  Noun = N ;
-  NP   = Utt ;
-lin
-  SpecNoun spec noun = mkUtt (SyntaxFin.mkNP spec noun) ;
-
-  One = mkDet one_Quant ;
-  Two = mkDet (mkNum n2_Numeral) ;
-  Felis = mkN "kissa" ;
-  Canis = mkN "koira" ;
-}
diff --git a/examples/regulus/toy0/no-resource/Toy0.gf b/examples/regulus/toy0/no-resource/Toy0.gf
deleted file mode 100644
index b1e2d6a40..000000000
--- a/examples/regulus/toy0/no-resource/Toy0.gf
+++ /dev/null
@@ -1,15 +0,0 @@
--- toy0 grammar from Chapter 2 of the Regulus book
-abstract Toy0 = {
-
-  flags startcat=NP ;
-
-  cat 
-    NP ; 
-    Noun ; 
-    Spec ;
-
-  fun  
-    SpecNoun      : Spec -> Noun -> NP ;
-    One, Two      : Spec ;
-    Felis, Canis  : Noun ;
-}
diff --git a/examples/regulus/toy0/no-resource/Toy0Eng.gf b/examples/regulus/toy0/no-resource/Toy0Eng.gf
deleted file mode 100644
index 977fb09c5..000000000
--- a/examples/regulus/toy0/no-resource/Toy0Eng.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-concrete Toy0Eng of Toy0 = {
-
-param
-  Number = Sg | Pl ;
-
-lincat
-  Spec = {s : Str ; n : Number} ;
-  Noun = {s : Number => Str} ;
-  NP = {s : Str} ;
-
-lin
-  SpecNoun spec noun = {s = spec.s ++ noun.s ! spec.n} ;
-
-  One = {s = "one" ; n = Sg} ;
-  Two = {s = "two" ; n = Pl} ;
-
-  Felis = regNoun "cat" ;
-  Canis = regNoun "dog" ;
-
-oper
-  regNoun : Str -> {s : Number => Str} = \s -> {
-    s = table {
-      Sg => s ;
-      Pl => s + "s"
-      }
-    } ;
-}
diff --git a/examples/regulus/toy0/no-resource/Toy0Fre.gf b/examples/regulus/toy0/no-resource/Toy0Fre.gf
deleted file mode 100644
index c5267ae18..000000000
--- a/examples/regulus/toy0/no-resource/Toy0Fre.gf
+++ /dev/null
@@ -1,29 +0,0 @@
-concrete Toy0Fre of Toy0 = {
-
-param
-  Number = Sg | Pl ;
-  Gender = Masc | Fem ;
-
-lincat
-  Spec = {s : Gender => Str ; n : Number} ;
-  Noun = {s : Number => Str ; g : Gender} ;
-  NP = {s : Str} ;
-
-lin
-  SpecNoun spec noun = {s = spec.s ! noun.g ++ noun.s ! spec.n} ;
-
-  One = {s = table {Fem => "une" ; _ => "un"} ; n = Sg} ;
-  Two = {s = \\_ => "deux" ; n = Pl} ;
-
-  Felis = mkNoun "chat" Masc ;
-  Canis = mkNoun "chien" Masc ;
-
-oper
-  mkNoun : Str -> Gender -> {s : Number => Str ; g : Gender} = \s,g -> {
-    s = table {
-      Sg => s ;
-      Pl => s + "s"
-      } ;
-    g = g
-    } ;
-}
diff --git a/examples/regulus/toy0/no-resource/Toy0Ger.gf b/examples/regulus/toy0/no-resource/Toy0Ger.gf
deleted file mode 100644
index 091790f94..000000000
--- a/examples/regulus/toy0/no-resource/Toy0Ger.gf
+++ /dev/null
@@ -1,29 +0,0 @@
-concrete Toy0Ger of Toy0 = {
-
-param
-  Number = Sg | Pl ;
-  Gender = Masc | Fem | Neutr ;
-
-lincat
-  Spec = {s : Gender => Str ; n : Number} ;
-  Noun = {s : Number => Str ; g : Gender} ;
-  NP = {s : Str} ;
-
-lin
-  SpecNoun spec noun = {s = spec.s ! noun.g ++ noun.s ! spec.n} ;
-
-  One = {s = table {Fem => "eine" ; _ => "ein"} ; n = Sg} ;
-  Two = {s = \\_ => "zwei" ; n = Pl} ;
-
-  Felis = mkNoun "Katze" "Katzen" Fem ;
-  Canis = mkNoun "Hund" "Hünde" Masc ;
-
-oper
-  mkNoun : Str -> Str -> Gender -> {s : Number => Str ; g : Gender} = \s,p,g -> {
-    s = table {
-      Sg => s ;
-      Pl => p
-      } ;
-    g = g
-    } ;
-}
diff --git a/examples/regulus/toy0/no-resource/Toy0_eng.gf b/examples/regulus/toy0/no-resource/Toy0_eng.gf
deleted file mode 100644
index ed8fe8063..000000000
--- a/examples/regulus/toy0/no-resource/Toy0_eng.gf
+++ /dev/null
@@ -1,39 +0,0 @@
--- grammar from Chapter 2 of the Regulus book
-
-flags startcat=MAIN ;
-
-cat 
-  MAIN ; NP ; Noun ; Spec ;
-
-fun
-  Main : NP -> MAIN ;
-  SpecNoun : Spec -> Noun -> NP ;
-
-  One, Two : Spec ;
-  Felis, Canis : Noun ;
-
-param
-  Number = Sg | Pl ;
-
-lincat
-  Spec = {s : Str ; n : Number} ;
-  Noun = {s : Number => Str} ;
-  MAIN,NP = {s : Str} ;
-
-lin
-  Main np = np ;
-  SpecNoun spec noun = {s = spec.s ++ noun.s ! spec.n} ;
-
-  One = {s = "one" ; n = Sg} ;
-  Two = {s = "two" ; n = Pl} ;
-
-  Felis = regNoun "cat" ;
-  Canis = regNoun "dog" ;
-
-oper
-  regNoun : Str -> {s : Number => Str} = \s -> {
-    s = table {
-      Sg => s ;
-      Pl => s + "s"
-      }
-    } ;
diff --git a/examples/regulus/toy0/toy0.gfprobs b/examples/regulus/toy0/toy0.gfprobs
deleted file mode 100644
index 7c97562e2..000000000
--- a/examples/regulus/toy0/toy0.gfprobs
+++ /dev/null
@@ -1 +0,0 @@
---# prob Felis 0.9