changeset 7853 | a4acf1b4d5a8 |
parent 7786 | cf9d07ad62af |
child 9450 | c97dba47e504 |
--- a/src/Pure/Thy/thm_deps.ML Wed Oct 13 19:41:18 1999 +0200 +++ b/src/Pure/Thy/thm_deps.ML Wed Oct 13 19:41:35 1999 +0200 @@ -75,7 +75,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 _ = system ("$ISATOOL browser -d " ^ Path.pack (Path.expand path) ^ " &"); in () end; end;