CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@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.