| 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 |
| Mon, 22 Sep 1997 17:29:42 +0200 | wenzelm | fixed idt/idts vs. pttrn/pttrns; | changeset | files |
| Mon, 22 Sep 1997 16:08:45 +0200 | paulson | Added Cambridge font server | changeset | files |