--- a/Isabelle Tue Jul 16 13:44:52 2013 +0200
+++ b/Isabelle Tue Jul 16 14:10:10 2013 +0200
@@ -4,5 +4,5 @@
#
# Default Isabelle application wrapper.
-exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"
+exec "$(dirname "$0")"/bin/isabelle jedit -s -- "$@"