| Fri, 09 Nov 2001 00:01:55 +0100 | wenzelm | got rid of obsolete input filtering; | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Thu, 28 Sep 2000 14:41:48 +0200 | wenzelm | added COPYDB argument; | file | diff | annotate |
| Fri, 15 Sep 2000 20:20:45 +0200 | wenzelm | keep export of ISABELLE_TMP (!!!); | file | diff | annotate |
| Fri, 15 Sep 2000 16:31:36 +0200 | wenzelm | unexport exports; | file | diff | annotate |
| Tue, 05 Sep 2000 18:59:22 +0200 | wenzelm | fixed quotes; | file | diff | annotate |
| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |