rm old tutorials

7 files changed, 0 insertions, 79 deletions

diff --git a/doc/tutorial/applications/Comments.gf b/doc/tutorial/applications/Comments.gf
deleted file mode 100644
index 3801ee77a..000000000
--- a/doc/tutorial/applications/Comments.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-abstract Comments = {
-
-  cat
-    S ; Item ; Kind ; Quality ;
-
-  fun
-    Is : Item -> Quality -> S ;
-    This, That, These, Those : Kind -> Item ;
-    QKind : Quality -> Kind -> Kind ;
-    Very : Quality -> Quality ;
-
-}
diff --git a/doc/tutorial/applications/CommentsEng.gf b/doc/tutorial/applications/CommentsEng.gf
deleted file mode 100644
index cd8879118..000000000
--- a/doc/tutorial/applications/CommentsEng.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete CommentsEng of Comments = CommentsI with
-  (Syntax = SyntaxEng) ;
diff --git a/doc/tutorial/applications/CommentsI.gf b/doc/tutorial/applications/CommentsI.gf
deleted file mode 100644
index d21150ff0..000000000
--- a/doc/tutorial/applications/CommentsI.gf
+++ /dev/null
@@ -1,21 +0,0 @@
---# -path=.:prelude
-
-incomplete concrete CommentsI of Comments = open Syntax in {
-
-  lincat
-    S = Syntax.S ;
-    Quality = AP ; 
-    Kind = CN ;
-    Item = NP ;
-
-  lin
-    Is item quality = PosVP item (PredAP quality) ;
-    This  = DetCN this_Det ;
-    That  = DetCN that_Det ;
-    These = DetCN these_Det ;
-    Those = DetCN those_Det ;
-    QKind = ModCN ;
-    Very  = AdAP very_AdA ;
-
-}
-    
\ No newline at end of file
diff --git a/doc/tutorial/applications/CommentsIta.gf b/doc/tutorial/applications/CommentsIta.gf
deleted file mode 100644
index eb60a8935..000000000
--- a/doc/tutorial/applications/CommentsIta.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete CommentsIta of Comments = CommentsI with
-  (Syntax = SyntaxIta) ;
diff --git a/doc/tutorial/applications/FoodComments.gf b/doc/tutorial/applications/FoodComments.gf
deleted file mode 100644
index 2d9f7013b..000000000
--- a/doc/tutorial/applications/FoodComments.gf
+++ /dev/null
@@ -1,7 +0,0 @@
-abstract FoodComments = Comments ** {
-
-  fun
-    Wine, Cheese, Fish, Pizza : Kind ;
-    Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ;
-
-}
diff --git a/doc/tutorial/applications/FoodCommentsEng.gf b/doc/tutorial/applications/FoodCommentsEng.gf
deleted file mode 100644
index 4ac054dd3..000000000
--- a/doc/tutorial/applications/FoodCommentsEng.gf
+++ /dev/null
@@ -1,18 +0,0 @@
---# -path=.:../resource:prelude
-
-
-concrete FoodCommentsEng of FoodComments = CommentsEng ** open LexEng in {
-
-  lin
-    Wine = regN "wine" ;
-    Cheese = regN "cheese" ;
-    Fish = mkN "fish" "fish" ;
-    Pizza = regN "pizza" ;
-    Fresh = mkA "fresh" ;
-    Warm = mkA "warm" ;
-    Italian = mkA "Italian" ;
-    Expensive = mkA "expensive" ;
-    Delicious = mkA "delicious" ;
-    Boring = mkA "boring" ;
-
-}
diff --git a/doc/tutorial/applications/FoodCommentsIta.gf b/doc/tutorial/applications/FoodCommentsIta.gf
deleted file mode 100644
index a75c4a8b7..000000000
--- a/doc/tutorial/applications/FoodCommentsIta.gf
+++ /dev/null
@@ -1,17 +0,0 @@
---# -path=.:../resource:prelude
-
-concrete FoodCommentsIta of FoodComments = CommentsIta ** open LexIta in {
-
-  lin
-    Wine = regN "vino" ;
-    Cheese = mkN masculine "formaggio" "formaggi" ;
-    Fish = regN "pesce" ;
-    Pizza = regN "pizza" ;
-    Fresh = mkA "fresco" "fresca" "freschi" "fresche" ;
-    Warm = regA "caldo" ;
-    Italian = regA "italiano" ;
-    Expensive = regA "caro" ;
-    Delicious = regA "delizioso" ;
-    Boring = regA "noioso" ;
-
-}