| changeset 44222 | 9d5ef6cd4ee1 |
| parent 44159 | 9a35e88d9dc9 |
| child 44225 | a8f921e6484f |
| 44221:bff7f7afb2db | 44222:9d5ef6cd4ee1 |
|---|---|
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 |
|
12 /* protocol messages */ |
17 /* protocol messages */ |
13 |
18 |
14 object Loaded_Theory { |
19 object Loaded_Theory { |
15 def unapply(msg: XML.Tree): Option[String] = |
20 def unapply(msg: XML.Tree): Option[String] = |
16 msg match { |
21 msg match { |