src/Pure/Thy/present.ML
changeset 49565 ea4308b7ef0f
parent 49561 26fc70e983c2
child 50121 97d2b77313a0
     1.1 --- a/src/Pure/Thy/present.ML	Tue Sep 25 18:24:49 2012 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Tue Sep 25 20:28:47 2012 +0200
     1.3 @@ -324,7 +324,7 @@
     1.4      val pdf_path = Path.append dir graph_pdf_path;
     1.5      val eps_path = Path.append dir graph_eps_path;
     1.6      val graph_path = Path.append dir graph_path;
     1.7 -    val _ = Graph_Display.write_graph graph_path graph;
     1.8 +    val _ = Graph_Display.write_graph_browser graph_path graph;
     1.9      val args = "-o " ^ File.shell_path pdf_path ^ " " ^ File.shell_path graph_path;
    1.10    in
    1.11      if Isabelle_System.isabelle_tool "browser" args = 0 andalso
    1.12 @@ -371,7 +371,7 @@
    1.13          create_index html_prefix;
    1.14          if length path > 1 then update_index parent_html_prefix name else ();
    1.15          (case readme of NONE => () | SOME path => File.copy path html_prefix);
    1.16 -        Graph_Display.write_graph (Path.append html_prefix graph_path) sorted_graph;
    1.17 +        Graph_Display.write_graph_browser (Path.append html_prefix graph_path) sorted_graph;
    1.18          Isabelle_System.isabelle_tool "browser" "-b";
    1.19          File.copy (Path.explode "~~/lib/browser/GraphBrowser.jar") html_prefix;
    1.20          List.app (fn (a, txt) => File.write (Path.append html_prefix (Path.basic a)) txt)