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

3 files changed, 0 insertions, 61 deletions

diff --git a/examples-3.0/tutorial/food/Food.gf b/examples-3.0/tutorial/food/Food.gf
deleted file mode 100644
index c4efd5950..000000000
--- a/examples-3.0/tutorial/food/Food.gf
+++ /dev/null
@@ -1,16 +0,0 @@
-abstract Food = {
-
-  cat
-    Phrase ; Item ; Kind ; Quality ;
-
-  flags startcat = Phrase ;
-
-  fun
-    Is : Item -> Quality -> Phrase ;
-    This, That : Kind -> Item ;
-    QKind : Quality -> Kind -> Kind ;
-    Wine, Cheese, Fish : Kind ;
-    Very : Quality -> Quality ;
-    Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ;
-
-}
\ No newline at end of file
diff --git a/examples-3.0/tutorial/food/FoodEng.gf b/examples-3.0/tutorial/food/FoodEng.gf
deleted file mode 100644
index a4f5907be..000000000
--- a/examples-3.0/tutorial/food/FoodEng.gf
+++ /dev/null
@@ -1,23 +0,0 @@
-concrete FoodEng of Food = {
-
-  lincat
-    Phrase, Item, Kind, Quality = {s : Str} ;
-
-  lin
-    Is item quality = {s = item.s ++ "is" ++ quality.s} ;
-    This kind = {s = "this" ++ kind.s} ;
-    That kind = {s = "that" ++ kind.s} ;
-    QKind quality kind = {s = quality.s ++ kind.s} ;
-    Wine = {s = "wine"} ;
-    Cheese = {s = "cheese"} ;
-    Fish = {s = "fish"} ;
-    Very quality = {s = "very" ++ quality.s} ;
-    Fresh = {s = "fresh"} ;
-    Warm = {s = "warm"} ;
-    Italian = {s = "Italian"} ;
-    Expensive = {s = "expensive"} ;
-    Delicious = {s = "delicious"} ;
-    Boring = {s = "boring"} ;
-
-}
-    
\ No newline at end of file
diff --git a/examples-3.0/tutorial/food/FoodIta.gf b/examples-3.0/tutorial/food/FoodIta.gf
deleted file mode 100644
index fc59e1294..000000000
--- a/examples-3.0/tutorial/food/FoodIta.gf
+++ /dev/null
@@ -1,22 +0,0 @@
-concrete FoodIta of Food = {
-
-  lincat
-    Phrase, Item, Kind, Quality = {s : Str} ;
-
-  lin
-    Is item quality = {s = item.s ++ "è" ++ quality.s} ;
-    This kind = {s = "questo" ++ kind.s} ;
-    That kind = {s = "quello" ++ kind.s} ;
-    QKind quality kind = {s = kind.s ++ quality.s} ;
-    Wine = {s = "vino"} ;
-    Cheese = {s = "formaggio"} ;
-    Fish = {s = "pesce"} ;
-    Very quality = {s = "molto" ++ quality.s} ;
-    Fresh = {s = "fresco"} ;
-    Warm = {s = "caldo"} ;
-    Italian = {s = "italiano"} ;
-    Expensive = {s = "caro"} ;
-    Delicious = {s = "delizioso"} ;
-    Boring = {s = "noioso"} ;
-
-}