bin/isabelle

--- a/bin/isabelle	Wed Apr 20 00:45:54 2005 +0200
+++ b/bin/isabelle	Wed Apr 20 14:18:33 2005 +0200
@@ -5,7 +5,11 @@
 #
 # Smart selection of isabelle-process versus isabelle-interface.
 
-THIS=$(cd "$(dirname "$0")"; pwd)
+THIS="$0"
+while [ -L "$THIS" ]; do
+    THIS="$(dirname "$THIS")/$(LC_ALL=C ls -l "$THIS" | sed 's/.* -> //')"
+done
+THIS="$(cd "$(dirname "$(readlink -f "$THIS")")"; pwd)"
 NAME="$(basename "$0")"
 
 case "$NAME" in