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

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/10/10 10:32:12

Modified files:
	doc            : devref.tex user.tex 

Log message:
	Title page improved: we now have affiliations for the people
	currently involved that have a known affiliation.
	We also acknowledge the support we received from various sources.