remove obsolete files from language directory.

1 files changed, 0 insertions, 31 deletions

diff --git a/language/l2_terminals_tt.ott b/language/l2_terminals_tt.ott
deleted file mode 100644
index c6bc8d34..00000000
--- a/language/l2_terminals_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{<=} }}