A non-text attachment was scrubbed... Name: not available Type: text/html charset="windows-1250" Size: 816 bytes Desc: not available URL: <http://www.cs.unipr.it/pipermail/clair-announce/attachments/20120416/fcf287b2/attachment.bin>