| Thu, 14 May 1998 16:35:30 +0200 | oheimb | keyboard settings now done by loading Tools/8bit/xemacs/isa_xemacs.emacs | file | diff | annotate |
| Thu, 22 May 1997 16:37:00 +0200 | wenzelm | adapted to Isamode 2.6; | file | diff | annotate |
| Wed, 30 Apr 1997 11:11:57 +0200 | wenzelm | improved display of non-ASCII chars; | file | diff | annotate |
| Thu, 17 Apr 1997 14:41:56 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 12 Apr 1997 20:00:11 +0200 | wenzelm | Setup GNU Emacs for Isabelle environment. | file | diff | annotate |