--- a/NEWS Thu Dec 29 10:47:55 2011 +0100
+++ b/NEWS Thu Dec 29 10:47:55 2011 +0100
@@ -36,10 +36,17 @@
* Ancient code generator for SML and its commands 'code_module',
'code_library', 'consts_code', 'types_code' have been discontinued.
-Use commands of the generic code generator instead. INCOMPATIBILITY.
+Use commands of the generic code generator instead. INCOMPATIBILITY.
* Redundant attribute 'code_inline' has been discontinued. Use
-'code_unfold' instead. INCOMPATIBILITY.
+'code_unfold' instead. INCOMPATIBILITY.
+
+* Dropped attribute 'code_unfold_post' in favor of the its dual 'code_abbrev',
+which yields a common pattern in definitions like
+
+ definition [code_abbrev]: "f = t"
+
+INCOMPATIBILITY.
* Sort constraints are now propagated in simultaneous statements, just
like type constraints. INCOMPATIBILITY in rare situations, where