--- a/NEWS Sat Dec 07 20:09:35 2013 +0100
+++ b/NEWS Mon Dec 09 22:49:27 2013 +0100
@@ -24,6 +24,9 @@
*** HOL ***
+* Code generations are provided for make, fields, extend and truncate
+operations on records.
+
* Qualified constant names Wellfounded.acc, Wellfounded.accp.
INCOMPATIBILITY.