Integrated LNCS setup and increased version to 0.0.2.
This commit is contained in:
parent
ad393e9184
commit
3d26cdc433
|
@ -35,7 +35,7 @@ import scala.util.matching.Regex
|
|||
import scala.annotation.tailrec
|
||||
|
||||
object DofConverter {
|
||||
val version = "0.0.1"
|
||||
val version = "0.0.2"
|
||||
val sep=RAWTEXT("%\n")
|
||||
|
||||
def deMarkUpArgList(tokens: List[LaTeXToken]): List[LaTeXToken] = {
|
||||
|
|
|
@ -69,7 +69,7 @@ fi
|
|||
|
||||
$ISABELLE_TOOL scala $ISABELLE_HOME_USER/DOF/lib/dof_latex_converter.jar .
|
||||
|
||||
cp $ISABELLE_HOME_USER/DOF/latex/DOF.sty .
|
||||
cp $ISABELLE_HOME_USER/DOF/latex/*.sty .
|
||||
|
||||
$ISABELLE_TOOL latex -o sty "$ROOT_NAME.tex" && \
|
||||
$ISABELLE_TOOL latex -o "$OUTFORMAT" "$ROOT_NAME.tex" && \
|
||||
|
|
Loading…
Reference in New Issue