diff -r 51f8895b9ad9 -r 24444588fddd src/Pure/Thy/thy_load.scala --- a/src/Pure/Thy/thy_load.scala Mon Aug 29 16:38:56 2011 +0200 +++ b/src/Pure/Thy/thy_load.scala Mon Aug 29 21:55:49 2011 +0200 @@ -8,8 +8,9 @@ abstract class Thy_Load { - def is_loaded(name: String): Boolean - - def check_thy(dir: Path, name: String): (String, Thy_Header) + def register_thy(thy_name: String) + def is_loaded(thy_name: String): Boolean + def append(master_dir: String, path: Path): String + def check_thy(node_name: String): Thy_Header }