Isabelle
author wenzelm
Mon Jul 29 15:09:20 2013 +0200 (2013-07-29 ago)
changeset 52770 8c7cf864e270
parent 52675 f3a6b1d0915e
permissions -rwxr-xr-x
pro-forma Goal.reset_futures, despite lack of final join/commit;
wenzelm@31919
     1
#!/usr/bin/env bash
wenzelm@31919
     2
#
wenzelm@31919
     3
# Author: Makarius
wenzelm@31919
     4
#
wenzelm@44861
     5
# Default Isabelle application wrapper.
wenzelm@31919
     6
wenzelm@52675
     7
exec "$(dirname "$0")"/bin/isabelle jedit -s -- "$@"
wenzelm@31919
     8