bin/isatool

--- a/bin/isatool	Tue Apr 26 17:44:24 2005 +0200
+++ b/bin/isatool	Tue Apr 26 19:49:39 2005 +0200
@@ -6,6 +6,11 @@
 # Isabelle tool starter -- provides settings environment
 # and keeps your PATH name space clean.
 
+if [ -L "$0" ]; then
+  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
+  exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
+fi
+
 
 ## settings