--- a/etc/settings Thu Mar 06 16:06:31 1997 +0100
+++ b/etc/settings Fri Mar 07 09:42:26 1997 +0100
@@ -82,7 +82,7 @@
# XTerm.
ISABELLE_INTERFACE=xterm
-ISABELLE_INTERFACE_OPTIONS=""
+ISABELLE_INTERFACE_OPTIONS="-p -mxterm"
# GNU Emacs running Isamode.
#ISABELLE_INTERFACE=emacs