--- a/src/Tools/jEdit/dist-template/interface Tue Oct 21 21:48:44 2008 +0200 +++ b/src/Tools/jEdit/dist-template/interface Tue Oct 21 22:00:11 2008 +0200 @@ -2,8 +2,6 @@ # # Isabelle/jEdit interface wrapper -set -x - ## diagnostics usage()