Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
redundant, see prepare_dir;
authorwenzelm
Wed, 11 Nov 2020 21:06:52 +0100
changeset 72576 913407dad883
parent 72575 c7ab83a0c564
child 72577 77b51733ffdf
redundant, see prepare_dir;
src/Pure/Thy/present.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/present.scala	Wed Nov 11 21:04:22 2020 +0100
+++ b/src/Pure/Thy/present.scala	Wed Nov 11 21:06:52 2020 +0100
@@ -291,7 +291,6 @@
             }
             else {
               bash(
-                latex_bash("sty"),
                 latex_bash(),
                 "{ [ ! -f " + root_bash("bib") + " ] || " + latex_bash("bbl") + "; }",
                 "{ [ ! -f " + root_bash("idx") + " ] || " + latex_bash("idx") + "; }",
isabelle