From mantoniotti at common-lisp.net Wed Mar 2 21:43:19 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Wed, 02 Mar 2011 16:43:19 -0500 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: 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))) From mantoniotti at common-lisp.net Sun Mar 6 14:56:21 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 09:56:21 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: 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 @@ @@ -117,7 +117,7 @@ From mantoniotti at common-lisp.net Sun Mar 6 15:06:12 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 10:06:12 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: 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 @@
-

News

+ +
@@ -109,7 +110,7 @@ From mantoniotti at common-lisp.net Sun Mar 6 15:07:02 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 10:07:02 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: 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 @@
-

News

+
@@ -124,7 +124,7 @@ From mantoniotti at common-lisp.net Sun Mar 6 15:08:30 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 10:08:30 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: 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 @@
-

News

+
@@ -187,7 +187,7 @@ From mantoniotti at common-lisp.net Sun Mar 6 15:09:10 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 10:09:10 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: 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 @@
-

News

+
@@ -198,7 +198,7 @@ From mantoniotti at common-lisp.net Sun Mar 6 15:09:51 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 10:09:51 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: 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 @@
-

News

+ +
@@ -233,7 +234,7 @@ From mantoniotti at common-lisp.net Sun Mar 6 15:10:37 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 10:10:37 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory cl-net:/tmp/cvs-serv5430 Modified Files: dictionary.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/dictionary.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/dictionary.html 2011/03/06 15:10:37 1.2 @@ -314,7 +314,7 @@
-

News

+
@@ -339,7 +339,7 @@ From mantoniotti at common-lisp.net Sun Mar 6 15:11:28 2011 From: mantoniotti at common-lisp.net (mantoniotti) Date: Sun, 06 Mar 2011 10:11:28 -0500 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory cl-net:/tmp/cvs-serv5464 Modified Files: dictionary.html Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/docs/html/dictionary.html 2011/03/06 15:10:37 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/dictionary.html 2011/03/06 15:11:28 1.3 @@ -279,7 +279,7 @@ @@ -133,7 +133,7 @@ From rbrown at common-lisp.net Mon Mar 28 17:10:37 2011 From: rbrown at common-lisp.net (rbrown) Date: Mon, 28 Mar 2011 13:10:37 -0400 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv8635 Modified Files: ChangeLog match-block.lisp Log Message: match-block.lisp: Use &body in match-case and matchf-case so code that uses them is correctly indented by editors. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/02/27 19:51:13 1.13 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/03/28 17:10:36 1.14 @@ -1,3 +1,8 @@ +2011-03-28 Robert Brown + + * match-block.lisp: Use &body in match-case and matchf-case so + code that uses them is correctly indented by editors. + 2011-02-27 author * .cvsignore: Updated. --- /project/cl-unification/cvsroot/cl-unification/match-block.lisp 2011/02/26 09:19:01 1.12 +++ /project/cl-unification/cvsroot/cl-unification/match-block.lisp 2011/03/28 17:10:36 1.13 @@ -249,7 +249,7 @@ ;;; HANDLER-CASEs, which are quite expensive. Any takers? (defmacro match-case ((object &key errorp default-substitution match-case-named) - &rest clauses) + &body clauses) "MATCH-CASE sets up a CASE-like environment for multiple template matching clauses. The syntax of MATCH-CASE comprises a number of clauses of the form @@ -307,7 +307,7 @@ (defmacro matchf-case ((object &key errorp default-substitution match-case-named) - &rest clauses) + &body clauses) "MATCHF-CASE sets up a CASE-like environment for multiple template matching clauses. The syntax of MATCHF-CASE comprises a number of clauses of the form