Dear all,
the sources have tentatively been tagged for the release
(the tag is `ppl_0_1_release').
If all the tests are passed, tomorrow we will release
the beast.
Ciao,
Roberto
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it