author | paulson |
Fri, 01 Oct 2004 11:53:50 +0200 | |
changeset 15222 | 2406fd8a5c30 |
parent 15221 | 8412cfdf3287 |
child 15223 | e669fb5b0f5a |
--- 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 () =>