bin/isabelle-interface
changeset 15784 3a214de33d53
parent 15778 98af3693f6b3
child 15843 d5bd4a18ce70
     1.1 --- a/bin/isabelle-interface	Wed Apr 20 18:57:05 2005 +0200
     1.2 +++ b/bin/isabelle-interface	Wed Apr 20 19:00:30 2005 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  while [ -L "$THIS" ]; do
     1.5      THIS="$(dirname "$THIS")/$(LC_ALL=C ls -l "$THIS" | sed 's/.* -> //')"
     1.6  done
     1.7 -ISABELLE_HOME="$(cd "$(dirname "$(readlink -f "$THIS")")/.."; pwd)"
     1.8 +ISABELLE_HOME="$(cd "$(dirname "$THIS")/.."; pwd)"
     1.9  . "$ISABELLE_HOME/lib/scripts/getsettings" || \
    1.10    { echo "$PRG probably not called from its original place!"; exit 2; }
    1.11