[PPL-devel] Polyhedra/ oc/devref.doxyconf-html.in oc/devre ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/09 17:54:50

Modified files:
	doc            : devref.doxyconf-html.in devref.doxyconf-pdf.in 
	                 user.doxyconf-pdf.in 
	src            : ConSys.cc ConSys.defs.hh Constraint.defs.hh 
	                 GenSys.cc GenSys.defs.hh Generator.defs.hh 
	                 Makefile.am Makefile.in Polyhedron.cc 
	                 Polyhedron.defs.hh Polyhedron.inlines.hh 
	                 Polyhedron.types.hh Row.defs.hh Status.defs.hh 
	                 protect.sed restore.sed 
	test           : Makefile.am Makefile.in user.cc 

Log message:
	Several improvements.
	The objective is to obtain the right documentation for the users.