[PPL-devel] [GIT] ppl/ppl(master): Text revised.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 19 13:31:42 2012 +0100

Text revised.

---

 tests/README |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/README b/tests/README
index c26fdc9..82826d1 100644
--- a/tests/README
+++ b/tests/README
@@ -5,8 +5,8 @@ See below for the copying conditions.
 How To Use the Test Programs (If You Really Want To Use Them)
 =============================================================
 
-The programs in this directory are part of the test suite of the Parma
-Polyhedra Library (PPL).  They have various origins:
+The programs in this directory are part of the extensive test suite of
+the Parma Polyhedra Library (PPL).  They have various origins:
 
 1) some have been written to test the expressivity of the library;
 2) some have been written to reproduce bugs that have now been fixed;