# HG changeset patch
# User wenzelm
# Date 918764315 -3600
# Node ID c8b30f86aadf920e6fecda060b7e7ddd8f5b55a6
# Parent  55e5bc91ae22bed92306fe7cfde3a5aade86b76a
Present.init;

diff -r 55e5bc91ae22 -r c8b30f86aadf src/Pure/Thy/session.ML
--- 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;