# HG changeset patch
# User wenzelm
# Date 1660758761 -7200
# Node ID e6f0e4d5c62594c1abbc89627c33926b5b98c071
# Parent  2b7841f71e24f2d1c1636a05735284a9b25cb9a0
tuned signature;

diff -r 2b7841f71e24 -r e6f0e4d5c625 src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Wed Aug 17 16:16:23 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Wed Aug 17 19:52:41 2022 +0200
@@ -32,13 +32,13 @@
 
     def theory_session(name: Document.Node.Name): String =
       sessions_structure.theory_qualifier(name)
-    def theory_session_info(name: Document.Node.Name): Sessions.Info =
-      sessions_structure(theory_session(name))
+
+    def session_dir(name: String): Path =
+      root_dir + Path.explode(sessions_structure(name).chapter_session)
 
-    def session_dir(info: Sessions.Info): Path =
-      root_dir + Path.explode(info.chapter_session)
     def theory_dir(name: Document.Node.Name): Path =
-      session_dir(theory_session_info(name))
+      session_dir(theory_session(name))
+
     def files_path(name: Document.Node.Name, path: Path): Path =
       theory_dir(name) + Path.explode("files") + path.squash.html
 
@@ -536,7 +536,7 @@
     val options = info.options
     val base = session_context.session_base
 
-    val session_dir = Isabelle_System.make_directory(html_context.session_dir(info))
+    val session_dir = Isabelle_System.make_directory(html_context.session_dir(session))
 
     Bytes.write(session_dir + session_graph_path,
       graphview.Graph_File.make_pdf(options, base.session_graph_display))