changeset 48418 | 1a634f9614fb |
parent 46970 | 9667e0dcb5e2 |
child 48445 | cb4136e4cabf |
--- a/src/Pure/System/session.ML Sat Jul 21 12:57:31 2012 +0200 +++ b/src/Pure/System/session.ML Sat Jul 21 16:41:55 2012 +0200 @@ -9,6 +9,7 @@ val id: unit -> string list val name: unit -> string val welcome: unit -> string + val init: bool -> string -> string -> unit val use_dir: string -> string -> bool -> string list -> bool -> bool -> string -> bool -> string list -> string -> string -> bool * string -> string -> int -> bool -> bool -> int -> int -> int -> int -> unit