Hi, all, I don't find 'configure' in your PPL. (downloaded by GIT) Is that normal? Zell -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120810/b2c7aaab/attachment.htm>