# HG changeset patch
# User grobauer
# Date 919335916 -3600
# Node ID 112a15c311f08930e1bc59e7a02ef434858e824a
# Parent  147db42c10091aed86a9fbb9b2d7095e0a2e6345
fixed geometry;

diff -r 147db42c1009 -r 112a15c311f0 lib/scripts/isa-emacs
--- 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