forked from Isabelle_DOF/Isabelle_DOF
Eat more white spaces.
This commit is contained in:
parent
6f1bb7a65c
commit
e3e46e3b17
|
@ -158,7 +158,9 @@ object DofConverter {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
val (pre, tail) = cmd match {
|
|
||||||
|
|
||||||
|
val (pre:List[LaTeXToken], tail:List[LaTeXToken]) = cmd match {
|
||||||
case """chapter""" => {
|
case """chapter""" => {
|
||||||
val (typ,sectionArgs, tail) = parseIsaDofCmd(Nil, tokens)
|
val (typ,sectionArgs, tail) = parseIsaDofCmd(Nil, tokens)
|
||||||
(sep::COMMAND("""\isaDofChapter"""+typ) :: sectionArgs,tail)
|
(sep::COMMAND("""\isaDofChapter"""+typ) :: sectionArgs,tail)
|
||||||
|
@ -185,7 +187,7 @@ object DofConverter {
|
||||||
}
|
}
|
||||||
case s => (sep::COMMAND("""\isaDofUnknown{""" + s + """}""")::sep::Nil, tokens)
|
case s => (sep::COMMAND("""\isaDofUnknown{""" + s + """}""")::sep::Nil, tokens)
|
||||||
}
|
}
|
||||||
pre ++ convertLaTeXTokenStream(tail)
|
backSpace(pre) ++ convertLaTeXTokenStream(delSpace(tail))
|
||||||
}
|
}
|
||||||
|
|
||||||
def convertLaTeXTokenStream(tokens: List[LaTeXToken]): List[LaTeXToken] = {
|
def convertLaTeXTokenStream(tokens: List[LaTeXToken]): List[LaTeXToken] = {
|
||||||
|
|
Reference in New Issue