| Mon, 19 Apr 1999 17:53:38 +0200 | wenzelm | improved usage; | file | diff | annotate |
| Tue, 13 Apr 1999 12:36:11 +0200 | wenzelm | -p option; | file | diff | annotate |
| Tue, 12 Jan 1999 12:17:53 +0100 | wenzelm | configure AUTO_BASH, AUTO_PERL; | file | diff | annotate |
| Fri, 28 Aug 1998 14:18:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 28 Aug 1998 14:08:55 +0200 | wenzelm | -d DISTDIR; | file | diff | annotate |
| Thu, 27 Aug 1998 20:15:43 +0200 | wenzelm | exec; | file | diff | annotate |
| Mon, 24 Aug 1998 17:16:49 +0200 | wenzelm | mkdir -p; | file | diff | annotate |
| Mon, 24 Aug 1998 15:49:53 +0200 | wenzelm | install binaries with absolute references to ISABELLE_HOME/bin; | file | diff | annotate |