The PPL 0.3 release branch has been created.
The corresponding tag is `ppl-0_3-branch ppl'.
The release process now begins.
Ciao
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it