Ro'ee Sfaradi wrote:

Hi Roberto,

I've tried the CVS version, and I had troubles with creating the configure file (I'm not very familiar with autotools). If it's no bother I'll be glad if you could send the snapshot.

Best Regards, Ro'ee Sfaradi sfa_roy@yahoo.com

Dear Ro'ee, there is a snapshot for you at http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-0.10pre9.tar.bz2 Please let us know how it goes and do not hesitate to get in touch to suggest improvements or if you need help. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it