Module: ppl/ppl Branch: ppl-0_12-branch Commit: 5825555c3c7b681d2e881e7494b7c14a830f6235 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5825555c3c7b6... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Apr 1 07:54:02 2012 +0200 Merge branch 'master' into ppl-0_12-branch ---