| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Wed, 22 Nov 2000 21:47:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| 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 |