changeset 24118 | 464f260e5a20 |
parent 24061 | 68d2b6cf5194 |
child 24612 | d1b315bdb8d7 |
--- a/src/Pure/Isar/session.ML Wed Aug 01 16:55:45 2007 +0200 +++ b/src/Pure/Isar/session.ML Wed Aug 01 16:59:15 2007 +0200 @@ -10,7 +10,7 @@ val name: unit -> string val welcome: unit -> string val use_dir: string -> bool -> string list -> bool -> bool -> string -> bool -> string list -> - string -> string -> bool * string -> string -> int -> bool -> int -> bool -> unit + string -> string -> bool * string -> string -> int -> bool -> int -> int -> unit val finish: unit -> unit end;