src/Pure/Thy/thy_info.scala
changeset 44225 a8f921e6484f
parent 44222 9d5ef6cd4ee1
child 44574 24444588fddd
equal deleted inserted replaced
44224:4040d0ffac7b 44225:a8f921e6484f
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 
     9 
    10 object Thy_Info
    10 object Thy_Info
    11 {
    11 {
    12   /* base name */
       
    13 
       
    14   def base_name(s: String): String = Path.explode(s).base.implode
       
    15 
       
    16 
       
    17   /* protocol messages */
    12   /* protocol messages */
    18 
    13 
    19   object Loaded_Theory {
    14   object Loaded_Theory {
    20     def unapply(msg: XML.Tree): Option[String] =
    15     def unapply(msg: XML.Tree): Option[String] =
    21       msg match {
    16       msg match {