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

1 files changed, 0 insertions, 29 deletions

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
-    } ;
-}