bin/isabelle
changeset 11566 94d2d6531c57
parent 11550 915c5de6480f
child 14981 e73f8140af78
     1.1 --- a/bin/isabelle	Fri Sep 21 18:23:15 2001 +0200
     1.2 +++ b/bin/isabelle	Tue Sep 25 12:16:49 2001 +0200
     1.3 @@ -9,7 +9,13 @@
     1.4  THIS=$(cd "$(dirname "$0")"; pwd)
     1.5  NAME="$(basename "$0")"
     1.6  
     1.7 -PRG=isabelle-interface
     1.8 -[ "$NAME" = isabelle ] && PRG=isabelle-process
     1.9 +case "$NAME" in
    1.10 +  I*)
    1.11 +    PRG=isabelle-interface
    1.12 +    ;;
    1.13 +  i*)
    1.14 +    PRG=isabelle-process
    1.15 +    ;;
    1.16 +esac
    1.17  
    1.18  exec "$THIS/$PRG" "$@"