| Fri, 01 Sep 2000 19:42:11 +0200 | wenzelm | fixed quoting; | file | diff | annotate |
| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 03 Sep 1999 17:52:13 +0200 | wenzelm | usage: tell current OPTIONS value; | file | diff | annotate |
| 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 |