# HG changeset patch
# User bulwahn
# Date 1319188636 -7200
# Node ID 28b076e0bea8f59e4497fb57353a1db0d8443787
# Parent  eb56e1774c267b6eaaa5c43ad11a79e783861e6e
NEWS

diff -r eb56e1774c26 -r 28b076e0bea8 NEWS
--- a/NEWS	Fri Oct 21 11:17:15 2011 +0200
+++ b/NEWS	Fri Oct 21 11:17:16 2011 +0200
@@ -13,6 +13,9 @@
  'code_library', 'consts_code', 'types_code' have been discontinued.
   Use commands of the generic code generator instead. INCOMPATIBILITY.
 
+* Redundant attribute 'code_inline' has been discontinued. Use 'code_unfold'
+instead. INCOMPATIBILITY.
+
 *** HOL ***
 
 * 'Transitive_Closure.ntrancl': bounded transitive closure on relations.