NEWS

--- a/NEWS	Wed Nov 03 11:11:49 2010 +0100
+++ b/NEWS	Wed Nov 03 11:33:51 2010 +0100
@@ -349,6 +349,10 @@
 
 *** ML ***
 
+* Discontinued obsolete function sys_error and exception SYS_ERROR.
+See implementation manual for further details on exceptions in
+Isabelle/ML.
+
 * Antiquotation @{assert} inlines a function bool -> unit that raises
 Fail if the argument is false.  Due to inlining the source position of
 failed assertions is included in the error output.