changeset 44222 | 9d5ef6cd4ee1 |
parent 44159 | 9a35e88d9dc9 |
child 44225 | a8f921e6484f |
--- a/src/Pure/Thy/thy_info.scala Tue Aug 16 12:06:49 2011 +0200 +++ b/src/Pure/Thy/thy_info.scala Tue Aug 16 21:13:52 2011 +0200 @@ -9,6 +9,11 @@ object Thy_Info { + /* base name */ + + def base_name(s: String): String = Path.explode(s).base.implode + + /* protocol messages */ object Loaded_Theory {