Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/isar_cmd.ML
changeset 15222 2406fd8a5c30
parent 15206 09d78ec709c7
child 15237 250e9be7a09d 
--- a/src/Pure/Isar/isar_cmd.ML	Fri Oct 01 11:53:31 2004 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Fri Oct 01 11:53:50 2004 +0200
@@ -183,7 +183,7 @@
 (* present draft files *)
 
 fun display_drafts files = Toplevel.imperative (fn () =>
-  let val outfile = File.quote_sysify_path (Present.drafts "dvi" files)
+  let val outfile = File.quote_sysify_path (Present.drafts "pdf" files)
   in system ("\"$ISATOOL\" display -c " ^ outfile ^ " &"); () end);
 
 fun print_drafts files = Toplevel.imperative (fn () =>
isabelle