equal
deleted
inserted
replaced
509 { |
509 { |
510 val info = deps.sessions_structure(session) |
510 val info = deps.sessions_structure(session) |
511 val options = info.options |
511 val options = info.options |
512 val base = deps(session) |
512 val base = deps(session) |
513 |
513 |
514 val hierarchy = deps.sessions_structure.hierarchy(session) |
514 val hierarchy = deps.sessions_structure.build_hierarchy(session) |
515 val hierarchy_theories = hierarchy.reverse.flatMap(a => deps(a).used_theories.map(_._1)) |
515 val hierarchy_theories = hierarchy.reverse.flatMap(a => deps(a).used_theories.map(_._1)) |
516 |
516 |
517 val session_dir = Isabelle_System.make_directory(html_context.session_dir(info)) |
517 val session_dir = Isabelle_System.make_directory(html_context.session_dir(info)) |
518 |
518 |
519 Bytes.write(session_dir + session_graph_path, |
519 Bytes.write(session_dir + session_graph_path, |