1.1 --- a/src/Pure/Thy/thy_resources.scala Sun Nov 12 20:17:29 2017 +0100
1.2 +++ b/src/Pure/Thy/thy_resources.scala Sun Nov 12 20:50:24 2017 +0100
1.3 @@ -48,6 +48,17 @@
1.4 }
1.5 }
1.6
1.7 + class Session private[Thy_Resources](
1.8 + options: Options, override val resources: Thy_Resources)
1.9 + extends isabelle.Session(options, resources)
1.10 + {
1.11 + session =>
1.12 +
1.13 + def load_theories(theories: List[(String, Position.T)],
1.14 + qualifier: String = Sessions.DRAFT, master_dir: String = ""): List[Document.Node.Name] =
1.15 + resources.load_theories(session, theories, qualifier = qualifier, master_dir = master_dir)
1.16 + }
1.17 +
1.18
1.19 /* internal state */
1.20