Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Bug fix: support for Isabelle/DOF commands without {* ... *} part.

This commit is contained in:
Achim D. Brucker 2018-06-12 09:55:02 +01:00
parent bab84243d2
commit 1a06ff1fa1
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala
View File

@ -159,13 +159,12 @@ object DofConverter {
case (args, CURLYOPEN :: COMMAND("""\isacharverbatimclose""") :: CURLYCLOSE :: tail) => ("",deMarkUp(trim(args) ++ List(CURLYCLOSE)), sep::delSpace(tail))
case (args, CURLYOPEN :: COMMAND("""\isacartoucheopen""") :: CURLYCLOSE ::tail) => parseIsaDofCmd(trim(args) ++ List(CURLYOPEN), delSpace(tail))
case (args, CURLYOPEN :: COMMAND("""\isacartoucheclose""") :: CURLYCLOSE :: tail) => ("",deMarkUp(trim(args) ++ List(CURLYCLOSE)), sep::delSpace(tail))
case (args, COMMAND("""\isacommand""") :: tail) => ("",deMarkUp(trim(args)), sep::COMMAND("""\isacommand""")::tail)
case (args, t :: tail) => parseIsaDofCmd(args ++ List(t), tail)
case (args, Nil) => ("",deMarkUp(args), Nil)
}
}
val (pre:List[LaTeXToken], tail:List[LaTeXToken]) = {
val (typ,sectionArgs, tail) = parseIsaDofCmd(Nil, tokens)
val dofcmd = if (normalize(cmd) == normalize(typ)) normalize(cmd)