rm old tutorials

8 files changed, 0 insertions, 90 deletions

diff --git a/doc/tutorial-next/Food.gf b/doc/tutorial-next/Food.gf
deleted file mode 100644
index 1a2d38d1e..000000000
--- a/doc/tutorial-next/Food.gf
+++ /dev/null
@@ -1,14 +0,0 @@
-abstract Food = {
-
-  cat
-    S ; Item ; Kind ; Quality ;
-
-  fun
-    Is : Item -> Quality -> S ;
-    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/doc/tutorial-next/FoodEng.gf b/doc/tutorial-next/FoodEng.gf
deleted file mode 100644
index f75727292..000000000
--- a/doc/tutorial-next/FoodEng.gf
+++ /dev/null
@@ -1,23 +0,0 @@
-concrete FoodEng of Food = {
-
-  lincat
-    S, 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/doc/tutorial-next/FoodIta.gf b/doc/tutorial-next/FoodIta.gf
deleted file mode 100644
index 5c565037a..000000000
--- a/doc/tutorial-next/FoodIta.gf
+++ /dev/null
@@ -1,22 +0,0 @@
-concrete FoodIta of Food = {
-
-  lincat
-    S, 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"} ;
-
-}
diff --git a/doc/tutorial-next/Foodmarket.png b/doc/tutorial-next/Foodmarket.png
deleted file mode 100644
index 753cc850d..000000000
--- a/doc/tutorial-next/Foodmarket.png
+++ /dev/null
diff --git a/doc/tutorial-next/Makefile b/doc/tutorial-next/Makefile
deleted file mode 100644
index d226e7348..000000000
--- a/doc/tutorial-next/Makefile
+++ /dev/null
@@ -1,6 +0,0 @@
-html:
-	txt2tags -thtml --toc gf-tutorial2.txt
-tex:
-	txt2tags -ttex --toc gf-tutorial2.txt
-	pdflatex gf-tutorial2.tex
-	pdflatex gf-tutorial2.tex 
diff --git a/doc/tutorial-next/StringOper.gf b/doc/tutorial-next/StringOper.gf
deleted file mode 100644
index 803d957f0..000000000
--- a/doc/tutorial-next/StringOper.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-resource StringOper = {
-    oper
-      SS : Type = {s : Str} ;
-
-      ss : Str -> SS = \x -> {s = x} ;
-
-      cc : SS -> SS -> SS = \x,y -> ss (x.s ++ y.s) ;
-
-      prefix : Str -> SS -> SS = \p,x -> ss (p ++ x.s) ;
-}
\ No newline at end of file
diff --git a/doc/tutorial-next/Tree2.png b/doc/tutorial-next/Tree2.png
deleted file mode 100644
index f58e56b95..000000000
--- a/doc/tutorial-next/Tree2.png
+++ /dev/null
diff --git a/doc/tutorial-next/food.cf b/doc/tutorial-next/food.cf
deleted file mode 100644
index 6c6379c60..000000000
--- a/doc/tutorial-next/food.cf
+++ /dev/null
@@ -1,15 +0,0 @@
-Is.        S       ::= Item "is" Quality ;
-That.      Item    ::= "that" Kind ;
-This.      Item    ::= "this" Kind ;
-QKind.     Kind    ::= Quality Kind ;
-Cheese.    Kind    ::= "cheese" ;
-Fish.      Kind    ::= "fish" ;
-Wine.      Kind    ::= "wine" ;
-Italian.   Quality ::= "Italian" ;
-Boring.    Quality ::= "boring" ;
-Delicious. Quality ::= "delicious" ;
-Expensive. Quality ::= "expensive" ;
-Fresh.     Quality ::= "fresh" ;
-Very.      Quality ::= "very" Quality ;
-Warm.      Quality ::= "warm" ;
-