--- 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