src/Pure/Isar/isar_cmd.ML

         val name = Context.theory_name node;
         val parents = map Context.theory_name (Theory.parents_of node);
         val session = Present.session_name node;
         val unfold = (session = thy_session);
       in
-       {name = name, ID = name, parents = parents, dir = session,
+       {name = name, ident = name, parents = parents, directory = session,
         unfold = unfold, path = "", content = []}
       end);
   in Graph_Display.display_graph graph end);
 
 val locale_deps = Toplevel.unknown_theory o Toplevel.keep (fn state =>
   let
     val thy = Toplevel.theory_of state;
     val graph = Locale.pretty_locale_deps thy |> map (fn {name, parents, body} =>
-     {name = Locale.extern thy name, ID = name, parents = parents,
-      dir = "", unfold = true, path = "", content = [body]});
+     {name = Locale.extern thy name, ident = name, parents = parents,
+      directory = "", unfold = true, path = "", content = [body]});
   in Graph_Display.display_graph graph end);
 
 
 (* print theorems, terms, types etc. *)