1.1 --- a/src/Pure/System/isar.ML	Thu Sep 09 17:38:45 2010 +0200
     1.2 +++ b/src/Pure/System/isar.ML	Thu Sep 09 18:00:16 2010 +0200
     1.3 @@ -111,7 +111,7 @@
     1.4    | op >>> (tr :: trs) = if op >> tr then op >>> trs else ();
     1.5  
     1.6  
     1.7 -(* toplevel loop *)
     1.8 +(* toplevel loop -- uninterruptible *)
     1.9  
    1.10  val crashes = Unsynchronized.ref ([]: exn list);
    1.11