1.1 --- a/src/Pure/Thy/thy_load.scala	Thu Sep 01 13:34:45 2011 +0200
     1.2 +++ b/src/Pure/Thy/thy_load.scala	Thu Sep 01 13:39:40 2011 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  {
     1.5    def register_thy(thy_name: String)
     1.6    def is_loaded(thy_name: String): Boolean
     1.7 -  def append(master_dir: String, path: Path): String
     1.8 +  def append(dir: String, path: Path): String
     1.9    def check_thy(node_name: Document.Node.Name): Thy_Header
    1.10  }
    1.11