# HG changeset patch
# User wenzelm
# Date 1204828237 -3600
# Node ID 2ea9b992508ae1088095e2a1f88be611b5d10e46
# Parent  227fcadd4be1620c16cc4af1eb81120a25c3125b
removed obsolete THIS_IS_ISABELLE_BUILD;

diff -r 227fcadd4be1 -r 2ea9b992508a NEWS
--- a/NEWS	Thu Mar 06 19:21:29 2008 +0100
+++ b/NEWS	Thu Mar 06 19:30:37 2008 +0100
@@ -153,6 +153,11 @@
 
 *** System ***
 
+* System: removed obsolete THIS_IS_ISABELLE_BUILD feature.  NB: the
+documented way of changing the user's settings is via
+ISABELLE_HOME_USER/etc/settings, which is a fully featured bash
+script.
+
 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs ---
 in accordance with Proof General 3.7, which prefers GNU emacs.