--- a/src/Pure/Isar/isar_cmd.ML Sun Jun 05 11:31:20 2005 +0200
+++ b/src/Pure/Isar/isar_cmd.ML Sun Jun 05 11:31:21 2005 +0200
@@ -188,12 +188,12 @@
(* present draft files *)
fun display_drafts files = Toplevel.imperative (fn () =>
- let val outfile = File.quote_sysify_path (Present.drafts (getenv "ISABELLE_DOC_FORMAT") files)
- in system ("\"$ISATOOL\" display -c " ^ outfile ^ " &"); () end);
+ let val outfile = File.shell_path (Present.drafts (getenv "ISABELLE_DOC_FORMAT") files)
+ in File.isatool ("display -c " ^ outfile ^ " &"); () end);
fun print_drafts files = Toplevel.imperative (fn () =>
- let val outfile = File.quote_sysify_path (Present.drafts "ps" files)
- in system ("\"$ISATOOL\" print -c " ^ outfile); () end);
+ let val outfile = File.shell_path (Present.drafts "ps" files)
+ in File.isatool ("print -c " ^ outfile); () end);
(* pretty_setmargin *)