Tue, 23 Jun 1998 18:06:50 +0200 | nipkow | Replaced [ := ] syntax by ( := ). | changeset | files |
Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | changeset | files |
Mon, 22 Jun 1998 17:13:09 +0200 | wenzelm | isatool fixgoal; | changeset | files |