[PPL-devel] ppl ./TODO doc/definitions.dox src/Polyhedron. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-10-23 15:03:08

Modified files:
	.              : TODO 
	doc            : definitions.dox 
	src            : Polyhedron.defs.hh 

Log message:
	Improved the documentation for boxes, intervals
	and the bounded extrapolations.
	
	Replace the brief descriptions of the bounded extrapolations
	in Polyhedron.defs.hh by shorter descriptions that ju
	st refer
	to the relevant paragraphs in definitions.dox.
	
	Removed the out-of-date paragraph about the domains in section 1.1
	of the main user's manual.
	
	Removed a todo item.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.272&r2=1.273
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.223&r2=1.224
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.355&r2=1.356