[PPL-devel] ppl doc/devref-browse.doxyconf-latex.in doc/de ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2003-02-24 18:50:38

Modified files:
	doc            : devref-browse.doxyconf-latex.in 
	                 devref-print.doxyconf-latex.in 
	                 devref.doxyconf-html.in 
	src            : Init.cc Makefile.am Polyhedron.cc 
Added files:
	src            : statistics.hh 
Removed files:
	src            : Statistics.hh 

Log message:
	Statistics.hh improved, added to the documentation for developers,
	and renamed statistics.hh.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/statistics.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.310&r2=1.311
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Statistics.hh.diff?cvsroot=ppl&r1=1.1&r2=NONE