26 Feb
2011
26 Feb
'11
10:12 a.m.
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