[cl-unification-cvs] CVS cl-unification

mantoniotti mantoniotti at common-lisp.net
Sat Feb 26 09:22:33 UTC 2011


Update of /project/cl-unification/cvsroot/cl-unification
In directory cl-net:/tmp/cvs-serv2765

Modified Files:
	unifier.lisp 
Log Message:
Minor changes (added COPYING information and other minutiae).


--- /project/cl-unification/cvsroot/cl-unification/unifier.lisp	2011/02/24 20:44:12	1.11
+++ /project/cl-unification/cvsroot/cl-unification/unifier.lisp	2011/02/26 09:22:33	1.12
@@ -3,6 +3,8 @@
 ;;; unifier.lisp
 ;;; General CL structures unifier.
 
+;;;; See file COPYING for copyright licensing information.
+
 (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow.
 
 (defgeneric unify (a b &optional env &key &allow-other-keys)





More information about the Cl-unification-cvs mailing list