exported break reference
authorChristian Urban <urbanc@in.tum.de>
Thu Jan 15 12:55:38 2009 +0000 (2009-01-15)
changeset 294914f864f851f4d
parent 29490 8f0a481199e7
child 29498 49675edf127c
exported break reference
src/Pure/Thy/thy_output.ML
     1.1 --- a/src/Pure/Thy/thy_output.ML	Thu Jan 15 12:16:51 2009 +0100
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Thu Jan 15 12:55:38 2009 +0000
     1.3 @@ -11,6 +11,7 @@
     1.4    val quotes: bool ref
     1.5    val indent: int ref
     1.6    val source: bool ref
     1.7 +  val break: bool ref
     1.8    val add_commands: (string * (Args.src -> Toplevel.node option -> string)) list -> unit
     1.9    val add_options: (string * (string -> (unit -> string) -> unit -> string)) list -> unit
    1.10    val defined_command: string -> bool