diff -r 75c6c4069938 -r 2fe62d602681 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Tue Jan 11 18:23:29 2011 +0100
+++ b/lib/scripts/getsettings	Tue Jan 11 19:55:34 2011 +0100
@@ -31,9 +31,10 @@
 . "$ISABELLE_HOME/lib/scripts/isabelle-platform"
 
 #Isabelle distribution identifier -- filled in automatically!
+ISABELLE_ID=""
 ISABELLE_IDENTIFIER=""
 
-#users tend to put strange things in here ...
+#sometimes users put strange things in here ...
 unset ENV
 unset BASH_ENV