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 |