bin/isabelle
author wenzelm
Mon Oct 08 12:13:34 2001 +0200 (2001-10-08)
changeset 11705 ac8ca15c556c
parent 11566 94d2d6531c57
child 14981 e73f8140af78
permissions -rwxr-xr-x
fixed numerals;
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" "$@"