CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto@cs.unipr.it 2002-07-29 07:26:20

Modified files: . : NEWS

Log message: Mention the fixes to Polyhedron::check_universe() and NNC_Polyhedron::NNC_Polyhedron(ConSys& cs).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only...