Module: ppl/ppl Branch: master Commit: f7b0e03047aaed1baadf9582b6f6e9ddada4a515 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7b0e03047aae... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Apr 9 18:28:11 2009 +0200 Acknowledge the contribution of Kenneth MacKenzie. --- CREDITS | 129 ++++++++++++++++++++++++++++++++------------------------------- 1 files changed, 66 insertions(+), 63 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f7b0e0304...