diff -r 14f6df4f473d -r 2dd2547acb41 NEWS
--- a/NEWS	Mon Jan 04 21:49:47 2010 +0100
+++ b/NEWS	Mon Jan 04 22:16:48 2010 +0100
@@ -54,6 +54,10 @@
 ISABELLE_USEDIR_OPTIONS applies uniformly to all sessions.  Note that
 proof terms are enabled unconditionally in the new HOL-Proofs image.
 
+* Discontinued old ISABELLE and ISATOOL environment settings (legacy
+feature since Isabelle2009).  Use ISABELLE_PROCESS and ISABELLE_TOOL,
+respectively.
+
 
 
 New in Isabelle2009-1 (December 2009)