export session id;

--- a/src/Pure/Isar/session.ML	Sat Jan 05 21:37:21 2008 +0100
+++ b/src/Pure/Isar/session.ML	Sat Jan 05 21:37:23 2008 +0100
@@ -7,6 +7,7 @@
 
 signature SESSION =
 sig
+  val id: unit -> string list
   val name: unit -> string
   val welcome: unit -> string
   val use_dir: string -> bool -> string list -> bool -> bool -> string -> bool -> string list ->
@@ -28,6 +29,7 @@
 
 (* access path *)
 
+fun id () = ! session;
 fun path () = ! session_path;
 
 fun str_of [] = Context.PureN