forked from Isabelle_DOF/Isabelle_DOF
Allow <> in LaTeX commands.
This commit is contained in:
parent
99882abafa
commit
77cfc621aa
|
@ -94,7 +94,7 @@ object LaTeXLexer extends RegexParsers {
|
||||||
def end_env = end0 ~ arg ^^ {case end_txt ~ arg => ENDENV (end_txt,arg)}
|
def end_env = end0 ~ arg ^^ {case end_txt ~ arg => ENDENV (end_txt,arg)}
|
||||||
|
|
||||||
def command: Parser[COMMAND] = {
|
def command: Parser[COMMAND] = {
|
||||||
"\\\\[a-zA-Z0-9][a-zA-Z0-9*]*".r ^^ { str => COMMAND(str) }
|
"\\\\[<>a-zA-Z0-9][a-zA-Z0-9*]*".r ^^ { str => COMMAND(str) }
|
||||||
}
|
}
|
||||||
|
|
||||||
def vbackslash = "\\\\" ^^ (_ => VBACKSLASH )
|
def vbackslash = "\\\\" ^^ (_ => VBACKSLASH )
|
||||||
|
@ -104,7 +104,7 @@ object LaTeXLexer extends RegexParsers {
|
||||||
def vcurlyclose = "\\}" ^^ (_ => VCURLYCLOSE )
|
def vcurlyclose = "\\}" ^^ (_ => VCURLYCLOSE )
|
||||||
def vbracketopen = "\\[" ^^ (_ => VBRACKETOPEN )
|
def vbracketopen = "\\[" ^^ (_ => VBRACKETOPEN )
|
||||||
def vbracketclose = "\\]" ^^ (_ => VBRACKETCLOSE )
|
def vbracketclose = "\\]" ^^ (_ => VBRACKETCLOSE )
|
||||||
def newline = "\n" ^^ (_ => NEWLINE )
|
def newline = "\n" ^^ (_ => NEWLINE )
|
||||||
def curlyopen = "{" ^^ (_ => CURLYOPEN )
|
def curlyopen = "{" ^^ (_ => CURLYOPEN )
|
||||||
def curlyclose = "}" ^^ (_ => CURLYCLOSE )
|
def curlyclose = "}" ^^ (_ => CURLYCLOSE )
|
||||||
def bracketopen = "[" ^^ (_ => BRACKETOPEN )
|
def bracketopen = "[" ^^ (_ => BRACKETOPEN )
|
||||||
|
|
Reference in New Issue