clarified modules;
authorwenzelm
Sun Nov 12 20:50:24 2017 +0100 (3 months ago)
changeset 6706310d608cc7470
parent 67062 ee0823ce2828
child 67064 fb487246ef4f
clarified modules;
src/Pure/Thy/thy_resources.scala
     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