| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 18 Jun 1998 18:31:06 +0200 | wenzelm | tuned \s pattern; | file | diff | annotate |
| Thu, 18 Jun 1998 10:48:21 +0200 | wenzelm | replace goal(w) commands by implicit versions Goal(w); | file | diff | annotate |