[PPL-devel] ppl TODO

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2005-12-30 23:22:23

Modified files:
	.              : TODO 

Log message:
	Removed two items:
	
	- Improve the documentation of Polyhedron::shrink_bounding_box().
	See http://www.cs.unipr.it/pipermail/ppl-devel/2005-July/006191.html.
	(documentation of Polyhedron::shrink_bounding_box() has been improved.)
	
	- The documentation has been read through but a more careful check,
	particularly on the detailed descriptions, should be done.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.164&r2=1.165