--- a/lib/scripts/isa-emacs Tue Feb 16 10:54:55 1999 +0100
+++ b/lib/scripts/isa-emacs Thu Feb 18 12:05:16 1999 +0100
@@ -88,6 +88,4 @@
done
ARGS="$ARGS -f isabelle"
-
-
-exec $PROGNAME -T "Isabelle" -geometry $MAINGEOM $ARGS
+exec $PROGNAME -T "Isabelle" $ARGS