| 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 |
| Mon, 22 Sep 1997 17:37:03 +0200 | wenzelm | fixed pttrn syntax; | changeset | files |
| Mon, 22 Sep 1997 17:35:52 +0200 | wenzelm | fixed LAM <x,y,zs>.b syntax (may break some unusual cases); | changeset | files |
| Mon, 22 Sep 1997 17:31:57 +0200 | wenzelm | tuned pattern syntax; | changeset | files |
| Mon, 22 Sep 1997 17:31:28 +0200 | wenzelm | tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts | changeset | files |