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

Map \at to @ (hack for documentation purposes).

This commit is contained in:
Achim D. Brucker 2018-06-12 20:49:59 +01:00
parent 16ecd1e67b
commit 11a896fb84
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -201,6 +201,7 @@ object DofConverter {
CURLYOPEN :: COMMAND("""\isacharunderscore""")::CURLYCLOSE::RAWTEXT(cmd3) ::
CURLYOPEN :: COMMAND("""\isacharunderscore""")::CURLYCLOSE::RAWTEXT(cmd4) ::
CURLYOPEN :: COMMAND("""\isacharasterisk""") :: CURLYCLOSE :: CURLYCLOSE :: ts => (convertIsaDofCommand(cmd0 + "_" + cmd1 + "_" + cmd2 + "_" + cmd3 + "_" + cmd4, ts), Nil, false)
case COMMAND("""\at""") :: ts => (RAWTEXT("""@""")::Nil, ts, true)
case t :: ts => (t::Nil, ts, true)
}
if (! rec) acc++res