[PPL-devel] w3ppl/htdocs details.raw

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	w3ppl
Changes by:	hill at cs.unipr.it	2002-07-02 12:41:23

Modified files:
	htdocs         : details.raw 

Log message:
	Changed the sentence on widening into a short paragraph at the end
	after the explanation of NNC polyhedra.
	It now refers to Halbwach's thesis and his 97 paper.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvsroot=w3ppl&r1=1.3&r2=1.4