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

1 files changed, 0 insertions, 19 deletions

diff --git a/examples-3.0/tutorial/resource-foods/LexFoods.gf b/examples-3.0/tutorial/resource-foods/LexFoods.gf
deleted file mode 100644
index 875427b77..000000000
--- a/examples-3.0/tutorial/resource-foods/LexFoods.gf
+++ /dev/null
@@ -1,19 +0,0 @@
-interface LexFoods = open Syntax in {
-  oper
-    wine_N : N ;
-    pizza_N : N ;
-    cheese_N : N ;
-    fish_N : N ;
-    fresh_A : A ;
-    warm_A : A ;
-    italian_A : A ;
-    expensive_A : A ;
-    delicious_A : A ;
-    boring_A : A ;
-
-    eat_V2 : V2 ;
-    drink_V2 : V2 ;
-    pay_V2 : V2 ;
-    lady_N : N ;
-    gentleman_N : N ;
-}