forked from Isabelle_DOF/Isabelle_DOF
Updated version to 0.0.3.
This commit is contained in:
parent
ec733715c1
commit
57fcdd3652
|
@ -35,7 +35,7 @@ import scala.util.matching.Regex
|
||||||
import scala.annotation.tailrec
|
import scala.annotation.tailrec
|
||||||
|
|
||||||
object DofConverter {
|
object DofConverter {
|
||||||
val version = "0.0.2"
|
val version = "0.0.3"
|
||||||
val sep=RAWTEXT("%\n")
|
val sep=RAWTEXT("%\n")
|
||||||
|
|
||||||
def deMarkUpArgList(tokens: List[LaTeXToken]): List[LaTeXToken] = {
|
def deMarkUpArgList(tokens: List[LaTeXToken]): List[LaTeXToken] = {
|
||||||
|
|
Loading…
Reference in New Issue