etc/isa-settings.el
Thu, 22 May 1997 16:37:00 +0200 wenzelm adapted to Isamode 2.6;
Wed, 30 Apr 1997 11:11:57 +0200 wenzelm improved display of non-ASCII chars;
Thu, 17 Apr 1997 14:41:56 +0200 wenzelm tuned;
Sat, 12 Apr 1997 20:00:11 +0200 wenzelm Setup GNU Emacs for Isabelle environment.
less more (0) tip