improved display of non-ASCII chars;

--- a/etc/isa-settings.el	Tue Apr 29 17:44:26 1997 +0200
+++ b/etc/isa-settings.el	Wed Apr 30 11:11:57 1997 +0200
@@ -25,8 +25,8 @@
 (setq default-ctl-arrow "z")
 (setq ctl-arrow "z")
 
-(standard-display-european 1)
-(require 'iso-syntax)
+(standard-display-8bit 128 255)
+
 
 ;; FIXME
 ;; DO NOT EDIT the lines between BEGIN-KEY-MAP and END-KEY-MAP