- ld-html-root: ported to permanent lambda-delta url

[helm.git] / helm / software / lambda-delta / src / text / txtLexer.mll

diff --git a/helm/software/lambda-delta/src/text/txtLexer.mll b/helm/software/lambda-delta/src/text/txtLexer.mll
index efee66051904cef4606a3dba1c687aaf3cab2b1e..ea5c6e0044e1a45cb1dcfbb78ea31357b72d3421 100644 (file)
--- a/helm/software/lambda-delta/src/text/txtLexer.mll
+++ b/helm/software/lambda-delta/src/text/txtLexer.mll
@@ -44,6 +44,7 @@ and token = parse
    | IX as ix     { out ("IX " ^ ix); TP.IX (int_of_string ix)           }
    | QT           { let s = qstring lexbuf in out ("STR " ^ s); TP.STR s }
    | "\\graph"    { out "GRAPH"; TP.GRAPH }
+   | "\\main"     { out "MAIN"; TP.MAIN   }
    | "\\decl"     { out "DECL"; TP.DECL   }
    | "\\ax"       { out "AX"; TP.AX       }
    | "\\cong"     { out "CONG"; TP.CONG   }