Module: ppl/w3ppl Branch: master Commit: 9f65bc2db0d8c652a81a46fdc6b6fdde00167e3b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=9f65bc2db0d... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Apr 9 18:29:04 2009 +0200 Acknowledge the contribution of Kenneth MacKenzie. --- htdocs/Credits/Credits.raw | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 4251841..2d48e11 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -296,6 +296,11 @@ maintained and improved by the following people: issues on Cygwin. </LI> <LI> + <A HREF="http://homepages.inf.ed.ac.uk/kwxm/~spoto/">Kenneth MacKenzie</A> + provided very good bug reports that allowed us to + fix several problems in the OCaml interface. + </LI> + <LI> <A HREF="http://www.math.unipr.it/~medori/">Costantino Medori</A> helped us on some mathematical aspects of the development.