--- a/Isabelle Thu Jan 10 14:40:19 2013 +0100 +++ b/Isabelle Thu Jan 10 15:45:27 2013 +0100 @@ -4,5 +4,5 @@ # # Default Isabelle application wrapper. -exec "$(dirname "$0")"/bin/isabelle jedit "$@" +exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"