21 May
2007
21 May
'07
2:37 p.m.
Hi
I fixed anumber of glitches in CL-UNIFICATION, especially w.r.t. MATCH-CASE and friends.
Please check if things are still ok.
Cheers
Marco
-- Marco Antoniotti