src/Pure/Isar/isar_cmd.ML
changeset 16258 f3d913abf7e5
parent 16193 05413e43d2f3
child 16499 2076b2e6ac58
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Sun Jun 05 11:31:20 2005 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Sun Jun 05 11:31:21 2005 +0200
     1.3 @@ -188,12 +188,12 @@
     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 (getenv "ISABELLE_DOC_FORMAT") files)
     1.8 -  in system ("\"$ISATOOL\" display -c " ^ outfile ^ " &"); () end);
     1.9 +  let val outfile = File.shell_path (Present.drafts (getenv "ISABELLE_DOC_FORMAT") files)
    1.10 +  in File.isatool ("display -c " ^ outfile ^ " &"); () end);
    1.11  
    1.12  fun print_drafts files = Toplevel.imperative (fn () =>
    1.13 -  let val outfile = File.quote_sysify_path (Present.drafts "ps" files)
    1.14 -  in system ("\"$ISATOOL\" print -c " ^ outfile); () end);
    1.15 +  let val outfile = File.shell_path (Present.drafts "ps" files)
    1.16 +  in File.isatool ("print -c " ^ outfile); () end);
    1.17  
    1.18  
    1.19  (* pretty_setmargin *)