bin/isabelle
author wenzelm
Sat Sep 08 20:00:31 2001 +0200 (2001-09-08)
changeset 11550 915c5de6480f
parent 10905 e23abeef8150
child 11566 94d2d6531c57
permissions -rwxr-xr-x
smart selection of isabelle-process versus isabelle-interface;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Markus Wenzel, TU Muenchen
     5 # License: GPL (GNU GENERAL PUBLIC LICENSE)
     6 #
     7 # Smart selection of isabelle-process versus isabelle-interface.
     8 
     9 THIS=$(cd "$(dirname "$0")"; pwd)
    10 NAME="$(basename "$0")"
    11 
    12 PRG=isabelle-interface
    13 [ "$NAME" = isabelle ] && PRG=isabelle-process
    14 
    15 exec "$THIS/$PRG" "$@"