program wrapper: controlled_execution ensures proper thread attributes (global default is unsafe due to InterruptAsynch;
1.1 --- a/src/Pure/Isar/toplevel.ML Thu Oct 02 17:18:36 2008 +0200
1.2 +++ b/src/Pure/Isar/toplevel.ML Thu Oct 02 19:38:48 2008 +0200
1.3 @@ -309,7 +309,7 @@
1.4
1.5 fun program f =
1.6 (f
1.7 - |> debugging
1.8 + |> controlled_execution
1.9 |> toplevel_error) ();
1.10
1.11 end;