check_text: Toplevel.node option;
authorwenzelm
Wed Feb 15 21:35:11 2006 +0100 (2006-02-15)
changeset 19060c814a7856121
parent 19059 b4ca3100e818
child 19061 ffbbac0261c9
check_text: Toplevel.node option;
src/Pure/Isar/outer_syntax.ML
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Wed Feb 15 21:35:09 2006 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Wed Feb 15 21:35:11 2006 +0100
     1.3 @@ -37,7 +37,7 @@
     1.4    val print_commands: Toplevel.transition -> Toplevel.transition
     1.5    val add_keywords: string list -> unit
     1.6    val add_parsers: parser list -> unit
     1.7 -  val check_text: string * Position.T -> Toplevel.state -> unit
     1.8 +  val check_text: string * Position.T -> Toplevel.node option -> unit
     1.9    val deps_thy: string -> bool -> Path.T -> string list * Path.T list
    1.10    val load_thy: string -> bool -> bool -> Path.T -> unit
    1.11    val isar: bool -> bool -> unit Toplevel.isar