[PPL-devel] Polyhedra/doc devref.tex user.tex