Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
preemptive NEWS
authorhaftmann
Tue, 17 Aug 2010 16:44:21 +0200
changeset 38535 9f64860c6ec0
parent 38534 d2fffb763a58
child 38536 7e57a0dcbd4f
preemptive NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle