[PPL-devel] [GIT] ppl/ppl(master): Item improved.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: f1a9519f0771e60551dcd143da754780dd5324a3
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771e60551dcd143da754780dd5324a3

Author: Roberto Bagnara <bagnara at 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