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