src/Pure/Thy/thy_resources.scala
changeset 67063 10d608cc7470
parent 67062 ee0823ce2828
child 67064 fb487246ef4f
equal deleted inserted replaced
67062:ee0823ce2828 67063:10d608cc7470
    44 
    44 
    45     session_error.join match {
    45     session_error.join match {
    46       case "" => session
    46       case "" => session
    47       case msg => session.stop(); error(msg)
    47       case msg => session.stop(); error(msg)
    48     }
    48     }
       
    49   }
       
    50 
       
    51   class Session private[Thy_Resources](
       
    52     options: Options, override val resources: Thy_Resources)
       
    53     extends isabelle.Session(options, resources)
       
    54   {
       
    55     session =>
       
    56 
       
    57     def load_theories(theories: List[(String, Position.T)],
       
    58         qualifier: String = Sessions.DRAFT, master_dir: String = ""): List[Document.Node.Name] =
       
    59       resources.load_theories(session, theories, qualifier = qualifier, master_dir = master_dir)
    49   }
    60   }
    50 
    61 
    51 
    62 
    52   /* internal state */
    63   /* internal state */
    53 
    64