[PPL-devel] Polyhedra/doc devref.tex