src/Pure/System/isabelle_process.ML
changeset 38259 2b61c5e27399
parent 38256 d2f094d97c91
child 38265 cc9fde54311f
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Aug 10 12:09:53 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Aug 10 12:29:11 2010 +0200
     1.3 @@ -105,6 +105,10 @@
     1.4      val _ = quick_and_dirty := true;  (* FIXME !? *)
     1.5      val _ = Keyword.status ();
     1.6      val _ = Output.status (Markup.markup Markup.ready "");
     1.7 -  in Isar.toplevel_loop in_stream {init = true, welcome = false, sync = true, secure = true} end;
     1.8 +    val _ =
     1.9 +      Simple_Thread.fork false (fn () =>
    1.10 +        (Isar.toplevel_loop in_stream {init = true, welcome = false, sync = true, secure = true};
    1.11 +          quit ()));
    1.12 +  in () end;
    1.13  
    1.14  end;