| 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 |
| Mon, 22 Sep 1997 14:46:56 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 22 Sep 1997 13:17:29 +0200 | paulson | Simplified SpyKeys to use sessionK instead of clientK and serverK | changeset | files |