PPL 1.2 has been released

This release includes a major efficiency improvement to the conversion procedure for polyhedra, a few bugfixes and numerous portability improvements. See the release notes for more information.