# HG changeset patch
# User haftmann
# Date 1282056261 -7200
# Node ID 9f64860c6ec0b8e90d243cce6330db6d766f195c
# Parent  d2fffb763a580c3c1064bdc246f8f49e43da62a9
preemptive NEWS

diff -r d2fffb763a58 -r 9f64860c6ec0 NEWS
--- a/NEWS	Tue Aug 17 16:35:23 2010 +0200
+++ b/NEWS	Tue Aug 17 16:44:21 2010 +0200
@@ -35,6 +35,10 @@
 
 *** HOL ***
 
+* Code generation for records: more idiomatic representation of record types.
+Warning: records are not covered by ancient SML code generation any longer.
+INCOMPATIBILITY.
+
 * Session Imperative_HOL: revamped, corrected dozens of inadequacies.
 INCOMPATIBILITY.