NEWS
changeset 38545 e30c782329bf
parent 38537 6a78c972de27
child 38546 5c69afe3df06
     1.1 --- a/NEWS	Wed Aug 18 16:59:37 2010 +0200
     1.2 +++ b/NEWS	Wed Aug 18 17:01:12 2010 +0200
     1.3 @@ -35,6 +35,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Records: logical foundation type for records do not carry a '_type' suffix
     1.8 +any longer.  INCOMPATIBILITY.
     1.9 +
    1.10  * Code generation for records: more idiomatic representation of record types.
    1.11  Warning: records are not covered by ancient SML code generation any longer.
    1.12  INCOMPATIBILITY.  In cases of need, a suitable rep_datatype declaration