# HG changeset patch
# User wenzelm
# Date 1001413009 -7200
# Node ID 94d2d6531c578b46a9c7a3aeb268a71f870b0bea
# Parent  ab004c0ecc63fe9e16d5110ce3116af83d3506d9
tuned;

diff -r ab004c0ecc63 -r 94d2d6531c57 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" "$@"