# HG changeset patch
# User haftmann
# Date 1386625767 -3600
# Node ID 8e71c6ed4d747bf419b32d86e73e71407f45fa4f
# Parent  0b3a4bdfc3d1a5341377b897841c6ad388fa3c1f
NEWS

diff -r 0b3a4bdfc3d1 -r 8e71c6ed4d74 NEWS
--- 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.