| Tue, 22 Apr 1997 11:37:12 +0200 | wenzelm | removed -norc; | file | diff | annotate |
| Thu, 06 Feb 1997 18:22:21 +0100 | wenzelm | improved usage msg; | file | diff | annotate |
| Thu, 23 Jan 1997 14:37:45 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 23 Jan 1997 14:35:15 +0100 | wenzelm | expand shorthand goal commands; | file | diff | annotate |