Module: ppl/ppl Branch: master Commit: be8e13942cefd8f33451f8e66934c6d2847f980d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be8e13942cefd8f33451f8e66934c6d2847f980d Author: Roberto Bagnara <bagnara at cs.unipr.it> Date: Thu Aug 5 09:11:32 2010 +0200 Merge branch 'ppl-0_11-branch' ---