--- a/src/Pure/Isar/isar_cmd.ML Sat Nov 27 14:32:08 2010 +0100
+++ b/src/Pure/Isar/isar_cmd.ML Sat Nov 27 15:28:00 2010 +0100
@@ -291,11 +291,11 @@
fun display_drafts files = Toplevel.imperative (fn () =>
let val outfile = File.shell_path (Present.drafts (getenv "ISABELLE_DOC_FORMAT") files)
- in File.isabelle_tool "display" ("-c " ^ outfile ^ " &"); () end);
+ in Isabelle_System.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.isabelle_tool "print" ("-c " ^ outfile); () end);
+ in Isabelle_System.isabelle_tool "print" ("-c " ^ outfile); () end);
(* print parts of theory and proof context *)