From marcoxa at cs.nyu.edu  Wed Jun 15 12:17:05 2011
From: marcoxa at cs.nyu.edu (Marco Antoniotti)
Date: Wed, 15 Jun 2011 14:17:05 +0200
Subject: [cl-unification-devel] Added nickname to package
Message-ID: <74870AC8-9B6D-40F0-B611-9E5ADD0A06A2@cs.nyu.edu>

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