Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.

5 files changed, 0 insertions, 142 deletions

diff --git a/grammars/timetable/Timetable.gf b/grammars/timetable/Timetable.gf
deleted file mode 100644
index 8eab2600b..000000000
--- a/grammars/timetable/Timetable.gf
+++ /dev/null
@@ -1,31 +0,0 @@
-abstract Timetable = {
-  cat
-    Table ;
-    TrainList CityList ;
-    City ;
-    CityList ;
-    Train CityList ;
-    Stop ;
-    Time ;
-    Number ;
-
-  fun
-    MkTable : (cs : CityList) -> TrainList cs -> Table ;
-    NilTrain : (cs : CityList) -> TrainList cs ;
-    ConsTrain : 
-      (cs : CityList) -> Number -> Train cs -> TrainList cs -> TrainList cs ;
-    OneCity : City -> CityList ;
-    ConsCity : City -> CityList -> CityList ;
-
-    StopTime : Time -> Stop ;
-    NoStop : Stop ;
-    
-    LocTrain : (c : City) -> Stop -> Train (OneCity c) ;
-    CityTrain : 
-      (c : City) -> Stop -> (cs : CityList) -> 
-        Train cs -> Train (ConsCity c cs) ;
-
-    T : Int -> Time ;
-    N : Int -> Number ;
-    C : String -> City ;
-}
diff --git a/grammars/timetable/TimetableEng.gf b/grammars/timetable/TimetableEng.gf
deleted file mode 100644
index 498f96975..000000000
--- a/grammars/timetable/TimetableEng.gf
+++ /dev/null
@@ -1,23 +0,0 @@
---# -path=.:../prelude
-
-concrete TimetableEng of Timetable = open Prelude in {
-
-  lin
-    MkTable cs ts = 
-      ss (["The following trains run on the line from"] ++ cs.s ++ "." ++ ts.s) ;
-    NilTrain _ = ss [] ;
-    ConsTrain cs n t ts = ss (n.s ++ ":" ++ t.s ++ "." ++ ts.s) ;
-    OneCity c = c ;
-    ConsCity c cs = ss (c.s ++ "to" ++ cs.s) ;
-
-    StopTime t = t ;
-    NoStop = ss ["no stop"] ;
-
-    LocTrain c s = cc2 c s ;
-    CityTrain c s cs t = ss (c.s ++ s.s ++ "," ++ t.s) ;
-
-    T i = prefixSS "at" i ;
-    N n = prefixSS "Train" n ;
-    C s = s ;
-
-}
diff --git a/grammars/timetable/TimetableHTML.gf b/grammars/timetable/TimetableHTML.gf
deleted file mode 100644
index 0fec2a1ab..000000000
--- a/grammars/timetable/TimetableHTML.gf
+++ /dev/null
@@ -1,24 +0,0 @@
---# -path=.:../prelude
-
-concrete TimetableHTML of Timetable = open Prelude, HTML in {
-
-  lin
-    MkTable cs ts = 
-      ss (intagAttr "table" 
-            "border=ON" (intag "tr" (intag "td" [] ++ cs.s) ++ ts.s)) ;
-    NilTrain _ = ss [] ;
-    ConsTrain cs n t ts = ss (intag "tr" (intag "td" n.s ++ t.s) ++ ts.s) ;
-    OneCity c = ss (intag "td" c.s) ;
-    ConsCity c cs = ss (intag "td" c.s ++ cs.s) ;
-
-    StopTime t = ss (intag "td" t.s) ;
-    NoStop = ss (intag "td" "-") ;
-
-    LocTrain c s = s ;
-    CityTrain c s cs t = ss (s.s ++ t.s) ;
-
-    T i = i ;
-    N n = ss (intag "b" n.s) ;
-    C s = ss (intag "b" s.s) ;
-
-}
diff --git a/grammars/timetable/TimetableLatex.gf b/grammars/timetable/TimetableLatex.gf
deleted file mode 100644
index f0d4f0939..000000000
--- a/grammars/timetable/TimetableLatex.gf
+++ /dev/null
@@ -1,28 +0,0 @@
---# -path=.:../prelude
-
-concrete TimetableLatex of Timetable = open Prelude, Latex in {
-
-  lincat
-    CityList = {s,s2 : Str} ; -- s2 encodes table width
-
-  lin
-    MkTable cs ts = 
-      ss ("\\documentstyle{article}" ++ inEnv "document" (
-          (inEnv "tabular" ("{" ++ cs.s2 ++ "}" ++ "&" ++ cs.s ++ 
-          command "hline" ++ ts.s)))) ;
-    NilTrain _ = ss [] ;
-    ConsTrain cs n t ts = ss (n.s ++ "&" ++ t.s ++ "\\\\" ++ ts.s) ;
-    OneCity c = {s = c.s ++ "\\\\" ; s2 = "l|l"} ;
-    ConsCity c cs = {s = c.s ++ "&" ++ cs.s ; s2 = "l|" ++ cs.s2} ;
-
-    StopTime t = t ;
-    NoStop = ss "---" ;
-
-    LocTrain c s = s ;
-    CityTrain c s cs t = ss (s.s ++ "&" ++ t.s) ;
-
-    T i = i ;
-    N n = n ; --- ss (fun1 "textbf" n.s) ;
-    C s = s ; --- ss (fun1 "textbf" s.s) ;
-
-}
diff --git a/grammars/timetable/click.gf b/grammars/timetable/click.gf
deleted file mode 100644
index d752fb027..000000000
--- a/grammars/timetable/click.gf
+++ /dev/null
@@ -1,36 +0,0 @@
-cat
-  Request ;
-  Place ;
-  Position ;
-
-fun
-  GoTo : Place -> Request ;
-  GoFromTo : Place -> Place -> Request ;
-
-  Named : String -> Place ;
-  Pointed : Position -> Place ;
-
-  Pos : Int -> Int -> Position ;
-
-lincat
-  Request, Place = {s,s2 : Str} ;
-
-lin
-  GoTo x = {
-    s = ["I want to go to"] ++ x.s ; 
-    s2 = x.s2
-    } ;
-  GoFromTo x y = {
-    s = ["I want to go from"] ++ x.s ++ "to" ++ y.s ; 
-    s2 = x.s2 ++ "," ++ y.s2
-    } ;
-
-  Named c = {
-    s = c.s ;
-    s2 = []
-    } ;
-  Pointed p = {
-    s = "here" ;
-    s2 = p.s
-    } ;
-  Pos x y = {s = "(" ++ x.s ++ "," ++ y.s ++ ")"} ;