| Mon, 22 Sep 1997 17:38:55 +0200 | wenzelm | Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories; | changeset | files |
| Mon, 22 Sep 1997 17:37:48 +0200 | wenzelm | acks; | changeset | files |
| Mon, 22 Sep 1997 17:37:24 +0200 | wenzelm | added Cambridge fs; | changeset | files |