clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory;
distinguish Nodes.Theory.static_session vs. dynamic_session: refer to exports from dynamic_session, corresponding to strictly to build_graph;
more robust treatment of source files and links to generated files;
retrieve entities by their file position, within its corresponding session/theory hierarchy;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.