# HG changeset patch
# User wenzelm
# Date 1195123742 -3600
# Node ID 746677c843a7b98619d430d5c5ca1c337a54ca35
# Parent  d138fd74a1a1a755d5453b40f7e2cb84ca5dde20
ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!

diff -r d138fd74a1a1 -r 746677c843a7 lib/scripts/getsettings
--- 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