keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs
keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle