diff -r b36379a730f4 -r 61d6d5cbbcd3 NEWS
--- a/NEWS	Thu Feb 05 13:01:12 2015 +0100
+++ b/NEWS	Thu Feb 05 13:01:12 2015 +0100
@@ -68,6 +68,11 @@
 
 *** HOL ***
 
+* Discontinued old-fashioned "codegen" tool.  Code generation can always
+be externally triggered using an appropriate ROOT file plus a corresponding
+theory.  Parametrization is possible using environment variables, or
+ML snippets in the most extreme cases.  Minor INCOMPATIBILITY.
+
 * Add NO_MATCH-simproc, allows to check for syntactic non-equality
 
 * Generalized and consolidated some theorems concerning divsibility: