[cl-unification-devel] Fixed a few problems with the unification code.
Marco Antoniotti
20 Jul
2006
20 Jul
'06
12:32 a.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)