[PPL-devel] Thanks for the file.
Roberto Bagnara
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.
Sure.
> 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
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ppl-0.10pre17.tar.bz2
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 at cs.unipr.it
More information about the PPL-devel
mailing list