src/Pure/Isar/isar_cmd.ML

 
 (* present draft files *)
 
 fun display_drafts files = Toplevel.imperative (fn () =>
   let val outfile = File.shell_path (Present.drafts (getenv "ISABELLE_DOC_FORMAT") files)
-  in File.isatool ("display -c " ^ outfile ^ " &"); () end);
+  in File.isabelle_tool ("display -c " ^ outfile ^ " &"); () end);
 
 fun print_drafts files = Toplevel.imperative (fn () =>
   let val outfile = File.shell_path (Present.drafts "ps" files)
-  in File.isatool ("print -c " ^ outfile); () end);
+  in File.isabelle_tool ("print -c " ^ outfile); () end);
 
 
 (* pretty_setmargin *)
 
 fun pretty_setmargin n = Toplevel.imperative (fn () => Pretty.setmargin n);