# HG changeset patch
# User wenzelm
# Date 939299538 -7200
# Node ID 9ace4017ead853d90107ec18cab13c48a702727a
# Parent  d4a6464ed61e61b7af48999606c4a312354d6d7b
$ISATOOL;

diff -r d4a6464ed61e -r 9ace4017ead8 src/Pure/Thy/thm_deps.ML
--- a/src/Pure/Thy/thm_deps.ML	Thu Oct 07 14:31:20 1999 +0200
+++ b/src/Pure/Thy/thm_deps.ML	Thu Oct 07 14:32:18 1999 +0200
@@ -64,7 +64,7 @@
       map (#der o rep_thm) thms))));
     val path = File.tmp_path (Path.unpack "theorems.graph");
     val _ = put_graph gra path;
-    val _ = execute ("isatool browser -d " ^ Path.pack (Path.expand path) ^ " &");
+    val _ = execute ("$ISATOOL browser -d " ^ Path.pack (Path.expand path) ^ " &");
   in () end;
 
 end;