bin/isabelle
author wenzelm
Fri Mar 08 16:24:06 2002 +0100 (2002-03-08)
changeset 13049 ce180e5b7fa0
parent 11566 94d2d6531c57
child 14981 e73f8140af78
permissions -rwxr-xr-x
tuned;
wenzelm@10555
     1
#!/usr/bin/env bash
wenzelm@2292
     2
#
wenzelm@2308
     3
# $Id$
wenzelm@9786
     4
# Author: Markus Wenzel, TU Muenchen
wenzelm@9786
     5
# License: GPL (GNU GENERAL PUBLIC LICENSE)
wenzelm@2308
     6
#
wenzelm@11550
     7
# Smart selection of isabelle-process versus isabelle-interface.
wenzelm@2292
     8
wenzelm@11550
     9
THIS=$(cd "$(dirname "$0")"; pwd)
wenzelm@11550
    10
NAME="$(basename "$0")"
wenzelm@2292
    11
wenzelm@11566
    12
case "$NAME" in
wenzelm@11566
    13
  I*)
wenzelm@11566
    14
    PRG=isabelle-interface
wenzelm@11566
    15
    ;;
wenzelm@11566
    16
  i*)
wenzelm@11566
    17
    PRG=isabelle-process
wenzelm@11566
    18
    ;;
wenzelm@11566
    19
esac
wenzelm@9786
    20
wenzelm@11550
    21
exec "$THIS/$PRG" "$@"