tuned;
authorwenzelm
Tue Sep 25 12:16:49 2001 +0200 (2001-09-25)
changeset 1156694d2d6531c57
parent 11565 ab004c0ecc63
child 11567 b6a181110c3c
tuned;
bin/isabelle
     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" "$@"