# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1232024138 0
# Node ID 4f864f851f4d1ef4ab830f98ae20b5be1dcb551c
# Parent  8f0a481199e7f7b90e3dcd9279f848718c2c4f7b
exported break reference

diff -r 8f0a481199e7 -r 4f864f851f4d src/Pure/Thy/thy_output.ML
--- a/src/Pure/Thy/thy_output.ML	Thu Jan 15 12:16:51 2009 +0100
+++ b/src/Pure/Thy/thy_output.ML	Thu Jan 15 12:55:38 2009 +0000
@@ -11,6 +11,7 @@
   val quotes: bool ref
   val indent: int ref
   val source: bool ref
+  val break: bool ref
   val add_commands: (string * (Args.src -> Toplevel.node option -> string)) list -> unit
   val add_options: (string * (string -> (unit -> string) -> unit -> string)) list -> unit
   val defined_command: string -> bool