Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
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 |