bin/isabelle
author wenzelm
Tue Sep 25 12:16:49 2001 +0200 (2001-09-25)
changeset 11566 94d2d6531c57
parent 11550 915c5de6480f
child 14981 e73f8140af78
permissions -rwxr-xr-x
tuned;
     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 case "$NAME" in
    13   I*)
    14     PRG=isabelle-interface
    15     ;;
    16   i*)
    17     PRG=isabelle-process
    18     ;;
    19 esac
    20 
    21 exec "$THIS/$PRG" "$@"