Support for Isabelle 2021-1.
This commit is contained in:
parent
74368af56c
commit
846237b515
|
@ -134,6 +134,7 @@ echo " \"preamble.tex\"" >> "$DIR"/ROOT
|
||||||
echo " \"build\"" >> "$DIR"/ROOT
|
echo " \"build\"" >> "$DIR"/ROOT
|
||||||
sed -i -e "s/root.tex/isadof.cfg/" "$DIR"/ROOT
|
sed -i -e "s/root.tex/isadof.cfg/" "$DIR"/ROOT
|
||||||
sed -i -e "s/HOL/Isabelle_DOF/" "$DIR"/ROOT
|
sed -i -e "s/HOL/Isabelle_DOF/" "$DIR"/ROOT
|
||||||
|
sed -i -e "s/\"output\"\]/\"output\", document_build = dof\]/" "$DIR"/ROOT
|
||||||
rm -f "$DIR"/document/root.tex
|
rm -f "$DIR"/document/root.tex
|
||||||
|
|
||||||
# Creating isadof.cfg
|
# Creating isadof.cfg
|
||||||
|
|
Loading…
Reference in New Issue