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