Isabelle

--- 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 "$@"