# HG changeset patch
# User haftmann
# Date 1282143672 -7200
# Node ID e30c782329bfaf903f1839e4b79a77e01ed6d8dc
# Parent  ac554311b1b9a9fe10f4d0eecb9b2de5dc1614c7
NEWS

diff -r ac554311b1b9 -r e30c782329bf NEWS
--- a/NEWS	Wed Aug 18 16:59:37 2010 +0200
+++ b/NEWS	Wed Aug 18 17:01:12 2010 +0200
@@ -35,6 +35,9 @@
 
 *** HOL ***
 
+* Records: logical foundation type for records do not carry a '_type' suffix
+any longer.  INCOMPATIBILITY.
+
 * Code generation for records: more idiomatic representation of record types.
 Warning: records are not covered by ancient SML code generation any longer.
 INCOMPATIBILITY.  In cases of need, a suitable rep_datatype declaration