--- a/src/Pure/Thy/session.ML Thu Feb 11 21:18:19 1999 +0100
+++ b/src/Pure/Thy/session.ML Thu Feb 11 21:18:35 1999 +0100
@@ -7,7 +7,6 @@
signature SESSION =
sig
- val path: unit -> string list
val welcome: unit -> string
val use_dir: bool -> bool -> string -> string -> unit
val finish: unit -> unit
@@ -56,7 +55,11 @@
val root_file = ThyLoad.ml_path "ROOT";
fun use_dir reset info parent name =
- (init reset parent name; Symbol.use root_file; finish ()) handle _ => exit 1;
+ (init reset parent name;
+ Present.init info (! session) (path ()) parent name;
+ Symbol.use root_file;
+ finish ())
+ handle _ => exit 1;
end;