[PPL-devel] Thanks for the file.
bagnara at cs.unipr.it
Sat Mar 29 09:11:41 CET 2008
David Rodriguez Velazquez wrote:
> Dear Roberto:
> Finally, I get the file from your link.
> I am going to start checking this version.
> Thanks for your help.
> I am going to work in this project and Sure I am going to give you the final version once I finish it.
> Also I think I am going to need assistance of the PPL developers. Thanks for help me.
OK: you can count on us.
> On the previous message you did mention about some updates on PPL from version 9 for this project.
> How can I get those updates.
My advice is to work with what will soon become PPL 0.10. You can
find a snapshot distribution at
All the best,
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel