[cl-unification-devel] Fixed a few problems with the unification code.
Marco Antoniotti
19 Jul
2006
19 Jul
'06
4:32 p.m.
Hi
I just made some changes to the unification code. Please check the CVS
log for details and try out the new version (which should fix the
MAKE-LOAD-FORM problem in SBCL among other things)