cl-unification-cvs

Download

cl-unification-cvs@common-lisp.net

March 2011

2 participants
12 discussions

[cl-unification-cvs] CVS cl-unification/docs/html
by mantoniotti 06 Mar '11

06 Mar '11

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory cl-net:/tmp/cvs-serv657 Modified Files: index.html Log Message: Updated copyright info and a News. --- /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2007/11/09 13:56:40 1.6 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2011/03/06 14:56:21 1.7 @@ -308,7 +308,7 @@ <!-- -;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved. +;;; Copyright (c) 2004-2011 Marco Antoniotti, All rigths reserved. ;;; ;;; Permission to use, modify, and redistribute this code is hereby ;;; granted. @@ -349,6 +349,8 @@ <ul> + <li>2011-02-20 + CL-UNIFICATION is now in <a href="www.quicklisp.org">Quicklisp</a>. <li>2007-11-09 Updated. <li>2004-11-04 @@ -372,7 +374,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2004-2007, Marco Antoniotti, all rights reserved. + © 2004-2011, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 02 Mar '11

02 Mar '11

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv8323 Modified Files: substitutions.lisp Log Message: Fixed typo. Double definition of PUSH-FRAME. Marco --- /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2011/02/26 09:20:45 1.7 +++ /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2011/03/02 21:43:19 1.8 @@ -128,7 +128,8 @@ (declare (type environment env)) (push (make-frame) (environment-frames env))) -(defun push-frame (env) + +(defun pop-frame (env) (declare (type environment env)) (pop (environment-frames env)))

1 0