| Thu, 18 Feb 1999 12:05:16 +0100 | grobauer | fixed geometry; | file | diff | annotate |
| Wed, 25 Nov 1998 14:07:22 +0100 | wenzelm | eliminated ISABELLE_INTERFACE_OPTIONS; | file | diff | annotate |
| Thu, 14 May 1998 16:42:52 +0200 | oheimb | disabled (experimental) geometry option | file | diff | annotate |
| Fri, 23 May 1997 10:14:16 +0200 | wenzelm | exec the emacs; | file | diff | annotate |
| Thu, 22 May 1997 16:37:00 +0200 | wenzelm | adapted to Isamode 2.6; | file | diff | annotate |
| Tue, 22 Apr 1997 11:37:12 +0200 | wenzelm | removed -norc; | file | diff | annotate |
| Thu, 17 Apr 1997 10:30:57 +0200 | wenzelm | eliminated PLATFORM; | file | diff | annotate |