Isabelle
author Andreas Lochbihler
Thu, 12 Apr 2012 10:29:45 +0200 (2012-04-12)
changeset 47437 4625ee486ff6
parent 44861 329ced2615eb
child 50805 69439c9defec
permissions -rwxr-xr-x
generalise case certificates to allow ignored parameters
#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.

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