[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of Kenneth MacKenzie.

10 Apr 2009


      Module: ppl/ppl
Branch: ppl-0_10-branch
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...