[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/10/05 23:25:00

Modified files:
	doc            : devref.doxyconf-html.in devref.doxyconf-pdf.in 
	src            : Matrix.defs.hh Status.defs.hh 

Log message:
	Fixed the bug that caused Status and Matrix to appear in the
	user's guide: the symbol to be used for excluding the
	implementation details is PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS.