pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added missing tokens in toString() functions.

This commit is contained in:
Achim D. Brucker 2018-05-19 22:13:28 +01:00
parent 47f47574af
commit c6a6bd1195
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/LaTexLexer.scala
View File

@ -153,7 +153,12 @@ object LaTeXLexer extends RegexParsers {
case (CURLYCLOSE) => {"""}""" }
case (BRACKETOPEN) => {"""[""" }
case (BRACKETCLOSE) => {"""]""" }
case (token) => {"\n+++ INTERNAL ERROR +++\n"}
case (VHYPHEN) => {"""\-"""}
case (VBACKTICK) => {"""\`"""}
case (VQUOTE) => {"""\'"""}
case (VSEMI) => {"""\;"""}
case (VCOMMA) => {"""\,"""}
case (token) => {"\n+++ INTERNAL ERROR +++\n"}
}
result += str
}