--- a/NEWS Fri Sep 10 14:37:57 2010 +0200
+++ b/NEWS Fri Sep 10 15:17:44 2010 +0200
@@ -254,6 +254,14 @@
theory loader state as before. Potential INCOMPATIBILITY, subtle
change in semantics.
+* Parallel and asynchronous execution requires special care concerning
+interrupts. Structure Exn provides some convenience functions that
+avoid working directly with raw Interrupt. User code must not absorb
+interrupts -- intermediate handling (for cleanup etc.) needs to be
+followed by re-raising of the original exception. Another common
+source of mistakes are "handle _" patterns, which make the meaning of
+the program subject to physical effects of the environment.
+
*** System ***