src/Pure/System/isabelle_process.ML
changeset 51044 890f502f0e89
parent 50911 ee7fe4230642
child 51332 8707df0b0255
     1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Jan 21 16:50:43 2013 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Jan 22 11:28:54 2013 +0100
     1.3 @@ -91,7 +91,7 @@
     1.4              val (text, promise) = Active.dialog_text ();
     1.5              val _ =
     1.6                writeln ("Tracing paused.  " ^ text "Stop" ^ ", or continue with next " ^
     1.7 -                text "10" ^ ", " ^ text "100" ^ ", " ^ text "1000" ^ " messages?")
     1.8 +                text "100" ^ ", " ^ text "1000" ^ ", " ^ text "10000" ^ " messages?")
     1.9              val m = Markup.parse_int (Future.join promise)
    1.10                handle Fail _ => error "Stopped";
    1.11            in