ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!

--- a/lib/scripts/getsettings	Thu Nov 15 11:49:00 2007 +0100
+++ b/lib/scripts/getsettings	Thu Nov 15 11:49:02 2007 +0100
@@ -1,4 +1,4 @@
-# -*- shell-script -*-
+# -*- shell-script -*- :mode=shellscript:
 # $Id$
 # Author: Markus Wenzel, TU Muenchen
 #
@@ -22,13 +22,8 @@
 ISABELLE="$ISABELLE_HOME/bin/isabelle-process"
 ISATOOL="$ISABELLE_HOME/bin/isatool"
 
-#Isabelle version
-ISABELLE_VERSION=$("$ISABELLE_HOME/lib/Tools/version")
-if [ "$ISABELLE_VERSION" = "Isabelle repository version" ]; then
-  ISABELLE_IDENTIFIER=""
-else
-  ISABELLE_IDENTIFIER="$ISABELLE_VERSION"
-fi
+#Isabelle distribution identifier -- filled in automatically!
+ISABELLE_IDENTIFIER=""
 
 #users tend to put strange things in here ...
 unset ENV