bin/isabelle
author kleing
Mon Jun 21 10:25:57 2004 +0200 (2004-06-21)
changeset 14981 e73f8140af78
parent 11566 94d2d6531c57
child 15778 98af3693f6b3
permissions -rwxr-xr-x
Merged in license change from Isabelle2004
wenzelm@10555
     1
#!/usr/bin/env bash
wenzelm@2292
     2
#
wenzelm@2308
     3
# $Id$
wenzelm@9786
     4
# Author: Markus Wenzel, TU Muenchen
wenzelm@2308
     5
#
wenzelm@11550
     6
# Smart selection of isabelle-process versus isabelle-interface.
wenzelm@2292
     7
wenzelm@11550
     8
THIS=$(cd "$(dirname "$0")"; pwd)
wenzelm@11550
     9
NAME="$(basename "$0")"
wenzelm@2292
    10
wenzelm@11566
    11
case "$NAME" in
wenzelm@11566
    12
  I*)
wenzelm@11566
    13
    PRG=isabelle-interface
wenzelm@11566
    14
    ;;
wenzelm@11566
    15
  i*)
wenzelm@11566
    16
    PRG=isabelle-process
wenzelm@11566
    17
    ;;
wenzelm@11566
    18
esac
wenzelm@9786
    19
wenzelm@11550
    20
exec "$THIS/$PRG" "$@"