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.
isatool latex -o sty;
authorwenzelm
Sun, 28 Aug 2005 19:47:24 +0200
changeset 17177 53cc9e134f40
parent 17176 3a02e6349a5d
child 17178 18a98ecc6821
isatool latex -o sty;
src/Pure/Thy/present.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/present.ML	Sun Aug 28 19:46:49 2005 +0200
+++ b/src/Pure/Thy/present.ML	Sun Aug 28 19:47:24 2005 +0200
@@ -382,9 +382,7 @@
     fun prepare_sources path =
      (File.mkdir path;
       File.copy_dir document_path path;
-      File.copy (Path.unpack "~~/lib/texinputs/isabelle.sty") path;
-      File.copy (Path.unpack "~~/lib/texinputs/isabellesym.sty") path;
-      File.copy (Path.unpack "~~/lib/texinputs/pdfsetup.sty") path;
+      File.isatool ("latex -o sty " ^ File.shell_path (Path.append path (Path.basic "root.tex")));
       (case opt_graphs of NONE => () | SOME (pdf, eps) =>
         (File.write (Path.append path graph_pdf_path) pdf;
           File.write (Path.append path graph_eps_path) eps));
isabelle