src/Pure/Thy/browser_info.scala

     def theory_by_file(session: String, file: String): Option[Document_Info.Theory] =
       document_info.theory_by_file(session, file)
 
     def session_dir(session: String): Path =
       root_dir + Path.explode(sessions_structure(session).chapter_session)
+
+    def theory_dir(theory: Document_Info.Theory): Path =
+      session_dir(theory.dynamic_session)
 
     def theory_html(theory: Document_Info.Theory): Path =
     {
       def check(name: String): Option[Path] = {
         val path = Path.explode(name).html

       theory_name: String,
       file_name: String,
       node_dir: Path,
     ): Node_Context =
       new Node_Context {
-        private val session_dir = context.session_dir(session_name)
-
         private val seen_ranges: mutable.Set[Symbol.Range] = mutable.Set.empty
 
         override def make_def(range: Symbol.Range, body: XML.Body): Option[XML.Elem] =
           body match {
             case List(XML.Elem(Markup("span", List("id" -> _)), _)) => None

         override def make_ref(props: Properties.T, body: XML.Body): Option[XML.Elem] = {
           props match {
             case Theory_Ref(thy_name) =>
               for (theory <- context.theory_by_name(session_name, thy_name))
               yield {
-                val html_path = session_dir + context.theory_html(theory)
+                val html_path = context.theory_dir(theory) + context.theory_html(theory)
                 val html_link = HTML.relative_href(html_path, base = Some(node_dir))
                 HTML.link(html_link, body)
               }
             case Entity_Ref(def_file, kind, name) =>
               def logical_ref(theory: Document_Info.Theory): Option[String] =

               for {
                 theory <- context.theory_by_file(session_name, def_file)
                 html_ref <- logical_ref(theory) orElse physical_ref(theory)
               }
               yield {
-                val html_path = session_dir + context.smart_html(theory, def_file)
+                val html_path = context.theory_dir(theory) + context.smart_html(theory, def_file)
                 val html_link = HTML.relative_href(html_path, base = Some(node_dir))
                 HTML.entity_ref(HTML.link(html_link + "#" + html_ref, body))
               }
             case _ => None
           }