| 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 |