# HG changeset patch
# User oheimb
# Date 895157044 -7200
# Node ID bc3ec5af8593eff35449e27a7adcd5ee34e2ff20
# Parent  c17493ccfd5413997ddc5612e84da14bd5e96f84
simplifications

diff -r c17493ccfd54 -r bc3ec5af8593 src/Tools/8bit/xemacs/isa_xemacs
--- a/src/Tools/8bit/xemacs/isa_xemacs	Thu May 14 16:42:52 1998 +0200
+++ b/src/Tools/8bit/xemacs/isa_xemacs	Thu May 14 16:44:04 1998 +0200
@@ -26,10 +26,6 @@
 # emacs command name. Name of your emacs executable 
 ENAME=xemacs
 
-#users init file ($HOME is added). This file is loaded after
-#the init file $PREFIX.emacs 
-INIT=.emacs_xemacs_isa
-
 ###############################################
 # do not edit below
 ###############################################
@@ -43,14 +39,6 @@
 #  emacs init file for Isabelle
 INITFILE=$ISABELLE8BIT/$EDIR/$PREFIX.emacs
 
-# set font as XResource
-# needed for versions later than LEmacs 19.9 
-echo "$PREFIX.default.attributeFont: isabelle14" | xrdb -merge - >/dev/null
+# pop up isabelle emacs
+$ENAME -T "$PREFIX" -fn isabelle14 -l $INITFILE $*
 
-# pop up isabelle emacs
-$ENAME \
-    -title "$PREFIX" \
-    -name "$PREFIX" \
-    -l $INITFILE -l "$HOME/$INIT"\
-    $* 2>/dev/null
-