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