NEWS

--- a/NEWS	Wed Oct 19 09:11:20 2011 +0200
+++ b/NEWS	Wed Oct 19 09:11:21 2011 +0200
@@ -9,6 +9,9 @@
 * Obsolete command 'types' has been discontinued.  Use 'type_synonym'
 instead.  INCOMPATIBILITY.
 
+* 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.
 
 *** HOL ***