# HG changeset patch
# User wenzelm
# Date 858881540 -3600
# Node ID 9d07ba9eebc2838153b0588f0953f49a4f9f156a
# Parent  dd5022d8a5513a16aeda81f2d3fd5ab5290d505f
fixed font names;

diff -r dd5022d8a551 -r 9d07ba9eebc2 src/Tools/8bit/gnu_emacs/.emacs_isa_gnu_emacs
--- a/src/Tools/8bit/gnu_emacs/.emacs_isa_gnu_emacs	Thu Mar 20 18:28:05 1997 +0100
+++ b/src/Tools/8bit/gnu_emacs/.emacs_isa_gnu_emacs	Thu Mar 20 19:12:20 1997 +0100
@@ -14,7 +14,7 @@
 
 (setq default-frame-alist  
         '(
-        (font . "isacr14")
+        (font . "isabelle14")
         (icon-type . t) 
         (menu-bar-lines . 1)
         (width . 80)
diff -r dd5022d8a551 -r 9d07ba9eebc2 src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs
--- a/src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs	Thu Mar 20 18:28:05 1997 +0100
+++ b/src/Tools/8bit/gnu_emacs/isa_gnu_emacs.emacs	Thu Mar 20 19:12:20 1997 +0100
@@ -11,7 +11,7 @@
 ;;   
 
 ;;; Isabelle font as default
-(set-default-font "isacr14")
+(set-default-font "isabelle14")
 
 ;;   activate 8bit chars 
 ;;   ...for all new buffers
@@ -25,8 +25,8 @@
 (setcdr x-fixed-font-alist
             (cons  '("Symbol fonts"
                     ;; These are the available isabelle and spectrum fonts.
-("14 isabelle " "isacr14")
-("24 isabelle " "isacb24")
+("14 isabelle " "isabelle14")
+("24 isabelle " "isabelle24")
 )
                     (cdr x-fixed-font-alist)))