From f6a49e32fc943444a5a38088abe9ff6a5cabed75 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 10 Jul 2018 14:54:27 +0100
Subject: remove obsolete files from language directory.

---
 language/l2_terminals_non_tt.ott | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 language/l2_terminals_non_tt.ott

(limited to 'language/l2_terminals_non_tt.ott')

diff --git a/language/l2_terminals_non_tt.ott b/language/l2_terminals_non_tt.ott
deleted file mode 100644
index 2c466b8b..00000000
--- a/language/l2_terminals_non_tt.ott
+++ /dev/null
@@ -1,31 +0,0 @@
-grammar 
-terminals :: '' ::=
-  | <                                   :: :: lt
-    {{ tex \ensuremath{\langle} }}
-%    {{ tex \ottsym{<} }}
-  | >                                   :: :: gt
-    {{ tex \ensuremath{\rangle} }}
-%    {{ tex \ottsym{>} }}
-
-%   | [| :: :: range_start
-%     {{ tex \mbox{$\ottsym{[\textbar}$} }}       
-%   | |] :: :: range_end       
-%     {{ tex \mbox{$\ottsym{\textbar]}$} }}       
-%   | [|| :: :: list_start
-%     {{ tex \mbox{$\ottsym{[\textbar\textbar}$} }}       
-%   | ||] :: :: list_end       
-%     {{ tex \mbox{$\ottsym{\textbar\textbar]}$} }}       
-
-  | ->                                  :: :: arrow
-    {{ tex \ensuremath{\rightarrow} }}
-%    {{ tex \ottsym{-\textgreater} }}
-    {{ com \texttt{->} }}
-
-  | >=                                  :: :: geq
-    {{ tex \ensuremath{\geq} }}
-%    {{ tex \ottsym{\textgreater=} }}
-    {{ com \texttt{>=} }}
-  | '<='                                        :: :: leq
-    {{ tex \ensuremath{\leq} }}
-%    {{ tex \ottsym{\textless=} }}
-    {{ com \texttt{<=} }}
-- 
cgit v1.2.3