| Tue, 14 Jul 1998 13:29:39 +0200 | paulson | stac now uses CHANGED_GOAL and correctly fails when it has no useful effect, | changeset | files |
| Mon, 13 Jul 1998 17:46:20 +0200 | nipkow | Corrected dead link. | changeset | files |
| Mon, 13 Jul 1998 16:43:57 +0200 | paulson | Huge tidy-up: removal of leading \!\! | changeset | files |