[PPL-devel] PPL 0.11 ready for beta testing

[Roberto Bagnara]

Hi there.

PPL 0.11 release candidates are available at

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

Several items in the NEWS file should be of interest to the
Graphite people.  Please give them a try.

If all goes well (i.e., the PPL bug-tracking system remains
clean) PPL 0.11 will be released on May 8, 2010.  Please
take into account that our past record indicates that,
despite our will to release more often, we are only able
to release once per year.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it