A non-text attachment was scrubbed... Name: not available Type: text/html charset="us-ascii" Size: 2304 bytes Desc: not available URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120612/6def89a3/attachment.bin>