src/Pure/Thy/thm_deps.ML
changeset 7853 a4acf1b4d5a8
parent 7786 cf9d07ad62af
child 9450 c97dba47e504
     1.1 --- a/src/Pure/Thy/thm_deps.ML	Wed Oct 13 19:41:18 1999 +0200
     1.2 +++ b/src/Pure/Thy/thm_deps.ML	Wed Oct 13 19:41:35 1999 +0200
     1.3 @@ -75,7 +75,7 @@
     1.4        map (#der o rep_thm) thms))));
     1.5      val path = File.tmp_path (Path.unpack "theorems.graph");
     1.6      val _ = put_graph gra path;
     1.7 -    val _ = execute ("$ISATOOL browser -d " ^ Path.pack (Path.expand path) ^ " &");
     1.8 +    val _ = system ("$ISATOOL browser -d " ^ Path.pack (Path.expand path) ^ " &");
     1.9    in () end;
    1.10  
    1.11  end;