src/Pure/Thy/presentation.scala

       Library.separate(HTML.break ::: HTML.nl,
         (deps_link :: readme_links ::: document_links).
           map(link => HTML.text("View ") ::: List(link))).flatten
     }
 
-    def entity_context(name: Document.Node.Name): Entity_Context =
-      Entity_Context.make(session, name, html_context)
-
-
     sealed case class Seen_File(
       src_path: Path,
       thy_name: Document.Node.Name,
       thy_session: String
     ) {

               make_html(Entity_Context.empty, thy_elements, xml)))
           }
 
         val thy_html =
           html_context.source(
-            make_html(entity_context(name), thy_elements,
-              snapshot.xml_markup(elements = thy_elements.html)))
+            make_html(Entity_Context.make(session, name, html_context),
+              thy_elements, snapshot.xml_markup(elements = thy_elements.html)))
 
         val thy_session = html_context.theory_session_info(name).name
         val thy_dir = Isabelle_System.make_directory(html_context.theory_dir(name))
         val files =
           for { (src_path, file_html) <- files_html }