[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	ACKNOWLEDGEMENTS 
Log Message:
Acknowledgements updated.


--- /project/cl-unification/cvsroot/cl-unification/ACKNOWLEDGEMENTS	2008/07/13 13:33:48	1.3
+++ /project/cl-unification/cvsroot/cl-unification/ACKNOWLEDGEMENTS	2011/02/26 09:12:19	1.4
@@ -7,6 +7,7 @@
 fixes.
 
 Boldyrev, Ivan
+Brown, Robert
 Korablin, Vladimir V.
 Leuner, John
 McManus, Russell