[cl-unification-devel] New patches added to CL-UNIFICATION.

Marco Antoniotti marcoxa at cs.nyu.edu
Thu Dec 17 17:08:00 UTC 2009


Dear all,

I added a few patches to CL-UNIFICATION (mostly thanks to Pixel //  
pinterface w.r.t. CL-PPCRE intergation).

I have not added the ASDF-SYSTEM-CONNECTION patch because I still have  
a few things to double check.

Please upgrade and let me know if you find any bug.

Cheers

--
Marco Antoniotti






More information about the cl-unification-devel mailing list