diff -r 563b7c8279f9 -r f3a6b1d0915e Isabelle
--- 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 -- "$@"