changeset 59244 | 19b5fc4b2b38 |
parent 59210 | 8658b4290aed |
child 59445 | 2c27c3d1fd3b |
--- a/src/Pure/Thy/present.ML Sat Jan 03 14:54:33 2015 +0100 +++ b/src/Pure/Thy/present.ML Sat Jan 03 15:45:01 2015 +0100 @@ -111,7 +111,7 @@ {theories: theory_info Symtab.table, tex_index: (int * string) list, html_index: (int * string) list, - graph: Graph_Display.graph}; + graph: Graph_Display.entry list}; fun make_browser_info (theories, tex_index, html_index, graph) : browser_info = {theories = theories, tex_index = tex_index, html_index = html_index, graph = graph};