CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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...