NEWS

--- a/NEWS	Thu Feb 21 18:27:28 2013 +0100
+++ b/NEWS	Fri Feb 22 14:25:52 2013 +0100
@@ -6,6 +6,9 @@
 
 *** HOL ***
 
+* Discontinued obsolete src/HOL/IsaMakefile (considered legacy since
+Isabelle2013).  Use "isabelle build" to operate on Isabelle sessions.
+
 * Numeric types mapped by default to target language numerals:
 natural (replaces former code_numeral) and integer (replaces
 former code_int).  Conversions are available as integer_of_natural /