bin/isabelle-interface

--- a/bin/isabelle-interface	Wed Apr 20 00:45:54 2005 +0200
+++ b/bin/isabelle-interface	Wed Apr 20 14:18:33 2005 +0200
@@ -10,7 +10,11 @@
 
 PRG="$(basename "$0")"
 
-ISABELLE_HOME="$(dirname "$0")/.."
+THIS="$0"
+while [ -L "$THIS" ]; do
+    THIS="$(dirname "$THIS")/$(LC_ALL=C ls -l "$THIS" | sed 's/.* -> //')"
+done
+ISABELLE_HOME="$(cd "$(dirname "$(readlink -f "$THIS")")/.."; pwd)"
 . "$ISABELLE_HOME/lib/scripts/getsettings" || \
   { echo "$PRG probably not called from its original place!"; exit 2; }