# HG changeset patch
# User paulson
# Date 1096624430 -7200
# Node ID 2406fd8a5c3094c1d57a40024608dc127ed9af8d
# Parent  8412cfdf3287dc356216d8e84a2c1b01916a4a23
display-drafts now uses pdf!

diff -r 8412cfdf3287 -r 2406fd8a5c30 src/Pure/Isar/isar_cmd.ML
--- 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 () =>