It has been released: see
http://www.cs.unipr.it/pipermail/ppl-announce/2008/000021.html All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]
