src/Tools/8bit/xemacs/isa_xemacs

--- a/src/Tools/8bit/xemacs/isa_xemacs	Tue Apr 01 12:44:12 1997 +0200
+++ b/src/Tools/8bit/xemacs/isa_xemacs	Tue Apr 01 12:54:40 1997 +0200
@@ -45,7 +45,7 @@
 
 # set font as XResource
 # needed for versions later than LEmacs 19.9 
-echo "$PREFIX.default.attributeFont: isacr14" | xrdb -merge - >/dev/null
+echo "$PREFIX.default.attributeFont: isabelle14" | xrdb -merge - >/dev/null
 
 # pop up isabelle emacs
 $ENAME \