Sun Jul 13 13:33:48 UTC 2008 mantoniotti
* Added credits to a few people. Missing ones should bug the maintainer :)
hunk ./ACKNOWLEDGEMENTS 1
-Many thanks to a lot of people are due.
+A lot of pleple deserved thanks for improving CL-UNIFICATION.
hunk ./ACKNOWLEDGEMENTS 9
+Boldyrev, Ivan
hunk ./ACKNOWLEDGEMENTS 12
+McManus, Russell
hunk ./ACKNOWLEDGEMENTS 15
-
-