Isabelle
author traytel
Mon, 17 Sep 2012 16:57:22 +0200
changeset 50440 f27f83f71e94
parent 45733 329ced2615eb
child 51820 69439c9defec
permissions -rwxr-xr-x
cleaned up internal naming scheme for bnfs
wenzelm@31919
     1
#!/usr/bin/env bash
wenzelm@31919
     2
#
wenzelm@31919
     3
# Author: Makarius
wenzelm@31919
     4
#
wenzelm@45733
     5
# Default Isabelle application wrapper.
wenzelm@31919
     6
wenzelm@45733
     7
exec "$(dirname "$0")"/bin/isabelle jedit "$@"
wenzelm@31919
     8