--- a/src/Tools/8bit/axe/isaaxe Tue Apr 01 12:44:12 1997 +0200
+++ b/src/Tools/8bit/axe/isaaxe Tue Apr 01 12:54:40 1997 +0200
@@ -45,9 +45,9 @@
# start axe ; keyboard translations are given as resource string
# the fonts can be selected with the font pulldown menu
-axe -fn "isacr14" -title "IsaAxe" -geometry 80x40 -xrm "\
+axe -fn "isabelle14" -title "IsaAxe" -geometry 80x40 -xrm "\
*fontMenu.label: Fonts" -xrm "\
-*FontList: Isa14:isacr14 Isa24:isacb24" -xrm "\
+*FontList: Isa14:isabelle14 Isa24:isabelle24" -xrm "\
*Axe*ed.translations: #override\
!Mod2 Shift <Key>g: insert-string(0xa1) \n\
!Mod2 Shift <Key>d: insert-string(0xa2) \n\
--- a/src/Tools/8bit/fonts/install Tue Apr 01 12:44:12 1997 +0200
+++ b/src/Tools/8bit/fonts/install Tue Apr 01 12:54:40 1997 +0200
@@ -1,8 +1,5 @@
#!/bin/bash
-# add Isabelle 8bit fonts to X11 font path
-FONTDIR=$ISABELLE8BIT/fonts
+#NOTE: just a quick and dirty hack -- assumes correct isatool in PATH
-# remove it first to avoid accidental double inclusion
-xset fp- $FONTDIR 2>/dev/null
-xset fp+ $FONTDIR
+isatool installfonts
--- a/src/Tools/8bit/term/isaterm Tue Apr 01 12:44:12 1997 +0200
+++ b/src/Tools/8bit/term/isaterm Tue Apr 01 12:54:40 1997 +0200
@@ -48,12 +48,12 @@
# start xterm ; keyboard translations are given as resource string
# the fonts can be selected in the xterm via ctrl-button3
-xterm -fn "isacr14" -title "IsaTerm" -geometry 80x40 -xrm "\
+xterm -fn "isabelle14" -title "IsaTerm" -geometry 80x40 -xrm "\
*fontMenu.Label: 8 Bit Fonts for Isabelle" -xrm "\
*fontMenu*font1*Label: Isabelle 14" -xrm "\
-*VT100*font1: isacr14" -xrm "\
+*VT100*font1: isabelle14" -xrm "\
*fontMenu*font2*Label: Isabelle 24 bold" -xrm "\
-*VT100*font2: isacb24" -xrm "\
+*VT100*font2: isabelle24" -xrm "\
*xterm*vt100.translations: #override\
!Mod2 Shift <Key>g: string(0xa1) \n\
!Mod2 Shift <Key>d: string(0xa2) \n\
--- a/src/Tools/8bit/vim/isavim Tue Apr 01 12:44:12 1997 +0200
+++ b/src/Tools/8bit/vim/isavim Tue Apr 01 12:54:40 1997 +0200
@@ -48,26 +48,20 @@
# start xterm ; keyboard translations are given as resource string
# the fonts can be selected in the xterm via ctrl-button3
-#xterm -fn "isacr14" -title "IsaVim" -geometry 80x40 -xrm "\
+#xterm -fn "isabelle14" -title "IsaVim" -geometry 80x40 -xrm "\
#*fontMenu.Label: 8 Bit Fonts for Isabelle" -xrm "\
-#*fontMenu*font1*Label: Isabelle 13" -xrm "\
-#*VT100*font1: isacr13" -xrm "\
#*fontMenu*font2*Label: Isabelle 14" -xrm "\
-#*VT100*font2: isacr14" -xrm "\
+#*VT100*font2: isabelle14" -xrm "\
#*fontMenu*font3*Label: Isabelle 24 bold" -xrm "\
-#*VT100*font3: isacb24" -xrm "\
-#*fontMenu*font4*Label: Old Isabelle 14" -xrm "\
-#*VT100*font4: oldisacr14" -xrm "\
-#*fontMenu*font5*Label: Spectrum 14" -xrm "\
-#*VT100*font5: spcr14" -xrm "\
+#*VT100*font3: isabelle24" -xrm "\
#*xterm*vt100.translations: #override\
-xterm -fn "isacr14" -title "IsaVim" -geometry 80x40 -xrm "\
+xterm -fn "isabelle14" -title "IsaVim" -geometry 80x40 -xrm "\
*fontMenu.Label: 8 Bit Fonts for Isabelle" -xrm "\
*fontMenu*font1*Label: Isabelle 14" -xrm "\
-*VT100*font1: isacr14" -xrm "\
+*VT100*font1: isabelle14" -xrm "\
*fontMenu*font2*Label: Isabelle 24 bold" -xrm "\
-*VT100*font2: isacb24" -xrm "\
+*VT100*font2: isabelle24" -xrm "\
*xterm*vt100.translations: #override\
!Mod2 Shift <Key>g: string(0xa1) \n\
!Mod2 Shift <Key>d: string(0xa2) \n\
--- 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 \
--- a/src/Tools/8bit/xemacs/isa_xemacs.emacs Tue Apr 01 12:44:12 1997 +0200
+++ b/src/Tools/8bit/xemacs/isa_xemacs.emacs Tue Apr 01 12:54:40 1997 +0200
@@ -5,8 +5,8 @@
;;
;;; Isabelle-Font as default
-;;(set-default-font "isacr14")
-;;(set-face-font 'default "isacr14")
+;;(set-default-font "isabelle14")
+;;(set-face-font 'default "isabelle14")
;; activate 8bit chars
;; ...for all new buffers
@@ -21,11 +21,8 @@
(interactive "@e")
(popup-menu
'("Isabelle fonts menu"
-;; ["Isabelle 13" (set-face-font 'default "isacr13") t]
- ["Isabelle 14" (set-face-font 'default "isacr14") t]
- ["Isabelle 24" (set-face-font 'default "isacb24") t]
-;; ["Old Isabelle 14" (set-face-font 'default "oldisacr14") t]
-;; ["Spectrum 14" (set-face-font 'default "spcr14") t]
+ ["Isabelle 14" (set-face-font 'default "isabelle14") t]
+ ["Isabelle 24" (set-face-font 'default "isabelle24") t]
)))
(global-unset-key '(shift control button3))
--- a/src/Tools/8bit/xmosaic/isa_xmosaic Tue Apr 01 12:44:12 1997 +0200
+++ b/src/Tools/8bit/xmosaic/isa_xmosaic Tue Apr 01 12:54:40 1997 +0200
@@ -24,6 +24,6 @@
# start xmosaic ;
xmosaic -title "isa_xmosaic" -xrm "\
-Mosaic*font:isacr14" -xrm "\
-Mosaic*fixedFont:isacr14" -xrm "\
-Mosaic*plainFont:isacr14"
+Mosaic*font:isabelle14" -xrm "\
+Mosaic*fixedFont:isabelle14" -xrm "\
+Mosaic*plainFont:isabelle14"