src/Pure/General/graph_display.ML
changeset 57032 cf570f3ecdc1
parent 50715 8cfd585b9162
child 59207 6b030dc97a4f
     1.1 --- a/src/Pure/General/graph_display.ML	Wed May 21 10:13:12 2014 +0200
     1.2 +++ b/src/Pure/General/graph_display.ML	Wed May 21 12:03:46 2014 +0200
     1.3 @@ -59,9 +59,6 @@
     1.4    |> fold (fn {ID = a, parents = bs, ...} => fold (fn b => Graph.add_edge (b, a)) bs) graph
     1.5    |> let open XML.Encode in Graph.encode string (pair string encode_content) end;
     1.6  
     1.7 -fun write_graph_graphview path graph =
     1.8 -  File.write path (YXML.string_of_body (encode_graphview graph));
     1.9 -
    1.10  
    1.11  (* display graph *)
    1.12  
    1.13 @@ -76,14 +73,10 @@
    1.14      in writeln ("See " ^ bg1 ^ body ^ bg2 ^ "graph" ^ en) end
    1.15    else
    1.16      let
    1.17 -      val (write, tool) =
    1.18 -        if is_browser () then (write_graph_browser, "browser")
    1.19 -        else (write_graph_graphview, "graphview");
    1.20 -
    1.21        val _ = writeln "Displaying graph ...";
    1.22        val path = Isabelle_System.create_tmp_path "graph" "";
    1.23 -      val _ = write path graph;
    1.24 -      val _ = Isabelle_System.isabelle_tool tool ("-c " ^ File.shell_path path ^ " &");
    1.25 +      val _ = write_graph_browser path graph;
    1.26 +      val _ = Isabelle_System.isabelle_tool "browser" ("-c " ^ File.shell_path path ^ " &");
    1.27      in () end;
    1.28  
    1.29  end;