at least 2 worker threads to ensure some degree of lifeness, notably for asynchronous Document.print_state;
1.1 --- a/src/Pure/System/isabelle_process.ML Mon Sep 19 14:40:38 2011 +0200
1.2 +++ b/src/Pure/System/isabelle_process.ML Mon Sep 19 16:40:17 2011 +0200
1.3 @@ -177,6 +177,9 @@
1.4
1.5 val _ = quick_and_dirty := true;
1.6 val _ = Goal.parallel_proofs := 0;
1.7 + val _ =
1.8 + if Multithreading.max_threads_value () < 2
1.9 + then Multithreading.max_threads := 2 else ();
1.10 val _ = Context.set_thread_data NONE;
1.11 val _ =
1.12 Unsynchronized.change print_mode