Tue Mar 13 15:29:16 UTC 2012 mantoniotti@common-lisp.net * Added TIMESTAMP. Tue Mar 13 15:28:28 UTC 2012 mantoniotti@common-lisp.net * Copyright updated. Tue Mar 13 15:28:15 UTC 2012 mantoniotti@common-lisp.net * Copyright updated. Thu Jun 16 00:10:47 UTC 2011 mantoniotti@common-lisp.net * Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs. diff -rN -u old-cl-unification-1/COPYING new-cl-unification-1/COPYING --- old-cl-unification-1/COPYING 2013-07-25 02:32:15.000000000 +0000 +++ new-cl-unification-1/COPYING 2013-07-25 02:32:15.000000000 +0000 @@ -1,4 +1,4 @@ -Copyright (c) 2004-2011 Marco Antoniotti +Copyright (c) 2004-2012 Marco Antoniotti All rights reserved. Permission is hereby granted, without written agreement and without diff -rN -u old-cl-unification-1/TIMESTAMP new-cl-unification-1/TIMESTAMP --- old-cl-unification-1/TIMESTAMP 1970-01-01 00:00:00.000000000 +0000 +++ new-cl-unification-1/TIMESTAMP 2013-07-25 02:32:15.000000000 +0000 @@ -0,0 +1 @@ +20120116 diff -rN -u old-cl-unification-1/docs/html/index.html new-cl-unification-1/docs/html/index.html --- old-cl-unification-1/docs/html/index.html 2013-07-25 02:32:15.000000000 +0000 +++ new-cl-unification-1/docs/html/index.html 2013-07-25 02:32:15.000000000 +0000 @@ -374,7 +374,7 @@
- © 2004-2011, Marco Antoniotti, all rights reserved. + © 2004-2012, Marco Antoniotti, all rights reserved.
diff -rN -u old-cl-unification-1/unification-package.lisp new-cl-unification-1/unification-package.lisp --- old-cl-unification-1/unification-package.lisp 2013-07-25 02:32:15.000000000 +0000 +++ new-cl-unification-1/unification-package.lisp 2013-07-25 02:32:15.000000000 +0000 @@ -8,7 +8,7 @@ (defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL") - (:nicknames "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify") + (:nicknames "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify" "CL-UNIFICATION") (:documentation "The CL.EXT.DACF.UNIFICATION Package. This package contains all the definitions necessary for the general