bin/isabelle

--- a/bin/isabelle	Fri Sep 21 18:23:15 2001 +0200
+++ b/bin/isabelle	Tue Sep 25 12:16:49 2001 +0200
@@ -9,7 +9,13 @@
 THIS=$(cd "$(dirname "$0")"; pwd)
 NAME="$(basename "$0")"
 
-PRG=isabelle-interface
-[ "$NAME" = isabelle ] && PRG=isabelle-process
+case "$NAME" in
+  I*)
+    PRG=isabelle-interface
+    ;;
+  i*)
+    PRG=isabelle-process
+    ;;
+esac
 
 exec "$THIS/$PRG" "$@"