display-drafts now uses pdf!
authorpaulson
Fri Oct 01 11:53:50 2004 +0200 (2004-10-01)
changeset 152222406fd8a5c30
parent 15221 8412cfdf3287
child 15223 e669fb5b0f5a
display-drafts now uses pdf!
src/Pure/Isar/isar_cmd.ML
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Fri Oct 01 11:53:31 2004 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Fri Oct 01 11:53:50 2004 +0200
     1.3 @@ -183,7 +183,7 @@
     1.4  (* present draft files *)
     1.5  
     1.6  fun display_drafts files = Toplevel.imperative (fn () =>
     1.7 -  let val outfile = File.quote_sysify_path (Present.drafts "dvi" files)
     1.8 +  let val outfile = File.quote_sysify_path (Present.drafts "pdf" files)
     1.9    in system ("\"$ISATOOL\" display -c " ^ outfile ^ " &"); () end);
    1.10  
    1.11  fun print_drafts files = Toplevel.imperative (fn () =>