etc/isa-settings.el
1998-05-14 ago keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs
1997-05-22 ago adapted to Isamode 2.6;
1997-04-30 ago improved display of non-ASCII chars;
1997-04-17 ago tuned;
1997-04-12 ago Setup GNU Emacs for Isabelle environment.