Module: ppl/ppl Branch: master Commit: c015df929272527eaae8d88812fac917942a8597 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c015df9292725... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Apr 15 18:04:34 2010 +0200 Updated. --- ChangeLog | 8419 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 8341 insertions(+), 78 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c015df929...