--- a/src/Pure/Thy/sessions.scala Mon Sep 28 21:14:47 2020 +0200
+++ b/src/Pure/Thy/sessions.scala Mon Sep 28 22:22:56 2020 +0200
@@ -52,6 +52,7 @@
doc_names: List[String] = Nil,
session_directories: Map[JFile, String] = Map.empty,
global_theories: Map[String, String] = Map.empty,
+ session_theories: List[Document.Node.Name] = Nil,
loaded_theories: Graph[String, Outer_Syntax] = Graph.string,
used_theories: List[(Document.Node.Name, Options)] = Nil,
known_theories: Map[String, Document.Node.Entry] = Map.empty,
@@ -165,6 +166,12 @@
val overall_syntax = dependencies.overall_syntax
+ val session_theories =
+ for {
+ name <- dependencies.theories
+ if deps_base.theory_qualifier(name) == info.name
+ } yield name
+
val theory_files = dependencies.theories.map(_.path)
val (loaded_files, loaded_files_errors) =
@@ -295,6 +302,7 @@
doc_names = doc_names,
session_directories = sessions_structure.session_directories,
global_theories = sessions_structure.global_theories,
+ session_theories = session_theories,
loaded_theories = dependencies.loaded_theories,
used_theories = dependencies.theories_adjunct,
known_theories = known_theories,