- cl-unification-cvs@lists.common-lisp.net

[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-serv5369 Modified Files: control-flow.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2005/04/27 21:04:59 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2011/03/06 15:09:51 1.3 @@ -208,7 +208,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;"> - <h1>News</h1> + + </div> </div> @@ -233,7 +234,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2011, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[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-serv5335 Modified Files: templates.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html 2011/03/06 15:09:10 1.2 @@ -173,7 +173,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;"> - <h1>News</h1> + </div> </div> @@ -198,7 +198,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2011, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[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-serv5293 Modified Files: unifying-substitutions.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2011/03/06 15:08:30 1.2 @@ -162,7 +162,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;"> - <h1>News</h1> + </div> </div> @@ -187,7 +187,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2011, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[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-serv5192 Modified Files: downloads.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2005/07/25 15:15:08 1.3 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2011/03/06 15:07:02 1.4 @@ -97,7 +97,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;"> - <h1>News</h1> + </div> </div> @@ -124,7 +124,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2011, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[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-serv5162 Modified Files: links.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/links.html 2005/05/20 16:41:16 1.4 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/links.html 2011/03/06 15:06:12 1.5 @@ -76,7 +76,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;"> - <h1>News</h1> +  + </div> </div> @@ -109,7 +110,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2011, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[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-serv5132 Modified Files: mailing-lists.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.html 2005/05/20 15:47:02 1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.html 2011/03/06 15:05:27 1.2 @@ -55,7 +55,7 @@  </div> </div> @@ -117,7 +117,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2011, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[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 @@ </p> <ul> + <li><strong>2011-02-20</strong><br> + CL-UNIFICATION is now in <a href="www.quicklisp.org">Quicklisp</a>. <li><strong>2007-11-09</strong><br> Updated. <li><strong>2004-11-04</strong><br> @@ -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

[cl-unification-cvs] CVS cl-unification/test
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification/test In directory cl-net:/tmp/cvs-serv22490 Added Files: .cvsignore Log Message: File added. --- /project/cl-unification/cvsroot/cl-unification/test/.cvsignore 2011/02/27 19:55:38 NONE +++ /project/cl-unification/cvsroot/cl-unification/test/.cvsignore 2011/02/27 19:55:38 1.1 *.*fasl *.*fsl *~ .DS_Store THUM*.DBE

1 0

[cl-unification-cvs] CVS cl-unification/lib-dependent
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification/lib-dependent In directory cl-net:/tmp/cvs-serv22460 Added Files: .cvsignore Log Message: File added. --- /project/cl-unification/cvsroot/cl-unification/lib-dependent/.cvsignore 2011/02/27 19:55:14 NONE +++ /project/cl-unification/cvsroot/cl-unification/lib-dependent/.cvsignore 2011/02/27 19:55:14 1.1 *.*fasl *.*fsl *~ .DS_Store THUM*.DBE

1 0