--- a/NEWS Tue Aug 17 16:44:24 2010 +0200
+++ b/NEWS Wed Aug 18 15:01:57 2010 +0200
@@ -37,7 +37,12 @@
* Code generation for records: more idiomatic representation of record types.
Warning: records are not covered by ancient SML code generation any longer.
-INCOMPATIBILITY.
+INCOMPATIBILITY. In cases of need, a suitable rep_datatype declaration
+helps to succeed then:
+
+ record 'a foo = ...
+ ...
+ rep_datatype foo_ext ...
* Session Imperative_HOL: revamped, corrected dozens of inadequacies.
INCOMPATIBILITY.