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;
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@11550
    12
PRG=isabelle-interface
wenzelm@11550
    13
[ "$NAME" = isabelle ] && PRG=isabelle-process
wenzelm@9786
    14
wenzelm@11550
    15
exec "$THIS/$PRG" "$@"