etc/isa-settings.el
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.