[PPL-devel] New snapshot (and best wishes to everyone)

Dear Ken,

the PPL snapshot we gave you some time ago contained a couple of bugs that have now been fixed. Up-to-date snapshots are now online at the usual place, that is

ftp://ftp.cs.unipr.it/pub/ppl/snapshots/

and, if you prefer HTTP,

http://www.cs.unipr.it/ppl/Download/ftp/snapshots/

Merry Christmas and Happy New Year to you and to all the people on ppl-devel@cs.unipr.it. Ciao

Roberto