forked from Isabelle_DOF/Isabelle_DOF
Support underscores in types.
This commit is contained in:
parent
675e9e2954
commit
de7f94b3c7
|
@ -107,10 +107,7 @@ object DofConverter {
|
||||||
case CURLYOPEN::COMMAND("""\isacharcolon""")::CURLYCLOSE :: CURLYOPEN::COMMAND("""\isacharcolon""")::CURLYCLOSE :: tail => {
|
case CURLYOPEN::COMMAND("""\isacharcolon""")::CURLYCLOSE :: CURLYOPEN::COMMAND("""\isacharcolon""")::CURLYCLOSE :: tail => {
|
||||||
val (label, shead)= split(List(), head.reverse)
|
val (label, shead)= split(List(), head.reverse)
|
||||||
val (typ, stail) = split(List(), delSpace(tail))
|
val (typ, stail) = split(List(), delSpace(tail))
|
||||||
val typstring = typ match {
|
val typstring = LaTeXLexer.toString(deMarkUpArgList(typ)).replace("_","").capitalize
|
||||||
case RAWTEXT(s)::Nil => s.capitalize
|
|
||||||
case _ => ""
|
|
||||||
}
|
|
||||||
(typstring,(shead.reverse)++List(RAWTEXT("""label={"""))++(label.reverse)++List(RAWTEXT("""}, type={"""))++typ++List(RAWTEXT("""}"""))++stail)
|
(typstring,(shead.reverse)++List(RAWTEXT("""label={"""))++(label.reverse)++List(RAWTEXT("""}, type={"""))++typ++List(RAWTEXT("""}"""))++stail)
|
||||||
}
|
}
|
||||||
case CURLYOPEN::COMMAND("""\isacharbrackright""")::CURLYCLOSE :: tail => {
|
case CURLYOPEN::COMMAND("""\isacharbrackright""")::CURLYCLOSE :: tail => {
|
||||||
|
|
Reference in New Issue