[PPL-devel] ppl ./NEWS doc/libppl.3