# HG changeset patch
# User bulwahn
# Date 1319008281 -7200
# Node ID d98a0388faab49ae47d3a9a810eb7d6c7fd6f833
# Parent  58e33a125f32f70894b60842e173257b85cc1830
NEWS

diff -r 58e33a125f32 -r d98a0388faab 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 ***