Isabelle
author blanchet
Fri, 20 Jul 2012 22:19:46 +0200
changeset 48389 65679f12df4c
parent 44861 329ced2615eb
child 50805 69439c9defec
permissions -rwxr-xr-x
eliminated special handling of init case, now that "mash.py" has been optimized to handle sequences of add gracefully

#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.

exec "$(dirname "$0")"/bin/isabelle jedit "$@"