| Fri, 17 Jul 1998 10:49:19 +0200 | paulson | now with Goal cmd | file | diff | annotate |
| Thu, 16 Jul 1998 11:50:01 +0200 | paulson | Got rid of obsolete "goal" commands. | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |