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.

1 files changed, 0 insertions, 103 deletions

diff --git a/grammars/video/Time/timeProlog.gf b/grammars/video/Time/timeProlog.gf
deleted file mode 100644
index 8a791ae0b..000000000
--- a/grammars/video/Time/timeProlog.gf
+++ /dev/null
@@ -1,103 +0,0 @@
--- Time grammar Prolog output notation
-
-concrete timeProlog of time = open prologResource in {
-
---flags lexer=codelit ; unlexer=codelit ; startcat=Time ;
---flags lexer=code ; unlexer=code ; startcat=Time ;
-
-pattern
-
-hour0 = "00" ; 
-hour1 = "01" ;
-hour2 = "02" ;
-hour3 = "03" ;
-hour4 = "04" ;
-hour5 = "05" ;
-hour6 = "06" ;
-hour7 = "07" ;
-hour8 = "08" ;
-hour9 = "09" ;
-hour10 = "10" ;
-hour11 = "11" ;
-hour12 = "12" ;
-hour13 = "13" ;
-hour14 = "14" ;
-hour15 = "15" ;
-hour16 = "16" ;
-hour17 = "17" ;
-hour18 = "18" ;
-hour19 = "19" ;
-hour20 = "20" ;
-hour21 = "21" ;
-hour22 = "22" ;
-hour23 = "23" ;
-
---Minutes
-minute0 = "00" ;
-minute1 = "01" ;
-minute2 = "02" ;
-minute3 = "03" ;
-minute4 = "04" ;
-minute5 = "05" ;
-minute6 = "06" ;
-minute7 = "07" ;
-minute8 = "08" ;
-minute9 = "09" ;
-minute10 = "10" ;
-minute11 = "11" ;
-minute12 = "12" ;
-minute13 = "13" ;
-minute14 = "14" ;
-minute15 = "15" ;
-minute16 = "16" ;
-minute17 = "17" ;
-minute18 = "18" ;
-minute19 = "19" ;
-minute20 = "20" ;
-minute21 = "21" ;
-minute22 = "22" ;
-minute23 = "23" ;
-minute24 = "24" ;
-minute25 = "25" ;
-minute26 = "26" ;
-minute27 = "27" ;
-minute28 = "28" ;
-minute29 = "29" ;
-minute30 = "30" ;
-
-minute31 = "31" ;
-minute32 = "32" ;
-minute33 = "33" ;
-minute34 = "34" ;
-minute35 = "35" ;
-minute36 = "36" ;
-minute37 = "37" ;
-minute38 = "38" ;
-minute39 = "39" ;
-minute40 = "40" ;
-minute41 = "41" ;
-minute42 = "42" ;
-minute43 = "43" ;
-minute44 = "44" ;
-minute45 = "45" ;
-minute46 = "46" ;
-minute47 = "47" ;
-minute48 = "48" ;
-minute49 = "49" ;
-minute50 = "50" ;
-minute51 = "51" ;
-minute52 = "52" ;
-minute53 = "53" ;
-minute54 = "54" ;
-minute55 = "55" ;
-minute56 = "56" ;
-minute57 = "57" ;
-minute58 = "58" ;
-minute59 = "59" ;
-
-lin
---timeFormal h m = {s = app2 "time" h.s m.s } ;
---timeInformal h m = {s = app2 "time" h.s m.s } ;
---time h m = {s = app2 "time" h.s m.s } ;
-time h m = {s = app3 h.s m.s } ;
-}