Fri, 01 Sep 2000 17:50:36 +0200 | wenzelm | GPLed; | file | diff | annotate |
Tue, 12 Jan 1999 12:17:53 +0100 | wenzelm | configure AUTO_BASH, AUTO_PERL; | file | diff | annotate |
Thu, 18 Jun 1998 10:48:21 +0200 | wenzelm | replace goal(w) commands by implicit versions Goal(w); | file | diff | annotate |