NEWS

--- a/NEWS	Mon Oct 25 11:01:00 2010 +0200
+++ b/NEWS	Mon Oct 25 11:16:23 2010 +0200
@@ -314,6 +314,10 @@
 
 *** 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.
+
 * Renamed setmp_noncritical to Unsynchronized.setmp to emphasize its
 meaning.