diff -r b6a5780e36b9 -r ddb85eb8385f src/Tools/8bit/vim/isavim
--- 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\