[cl-unification-devel] Added nickname to package

Marco Antoniotti marcoxa at cs.nyu.edu
Wed Jun 15 12:17:05 UTC 2011


Hi

I added the "CL-UNIFICATION" nickname to the package.  In this way the package can be referred with the same name as the ASDF and MK:DEFSYSTEM systems.  Not having this alignment was a mistake carried over from a long time ago...

Cheers

--
Marco Antoniotti






More information about the cl-unification-devel mailing list