Module: ppl/ppl Branch: master Commit: f1a9519f0771e60551dcd143da754780dd5324a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771e... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Jul 12 11:48:29 2009 +0200 Item improved. --- NEWS | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index 15fd2ae..dec828b 100644 --- a/NEWS +++ b/NEWS @@ -10,7 +10,7 @@ NEWS for version 0.11 (released date to be decided) New and Changed Features ======================== -o Implementation of general (NNC) polyhedra speeded up. +o Implementation of general (C and NNC) polyhedra speeded up. o When the PPL has been configured with CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization