Module: ppl/w3ppl Branch: master Commit: c888202a0c7deab1967bf65d430365da491bbd91 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c888202a0c7...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Apr 14 11:07:54 2009 +0200
Missing parentheses added.
---
htdocs/news.raw | 2 +- htdocs/ppl.raw | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/htdocs/news.raw b/htdocs/news.raw index 6b592cb..c70e4f8 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -16,7 +16,7 @@ of the Parma Polyhedra Library. <BR> This release includes several important improvements to PPL 0.10, among which is better portability (including the support for - cross-compilation, increased robustness, better packaging and + cross-compilation), increased robustness, better packaging and several bug fixes. </TD> </TR> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 881dc42..7de4f2a 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -54,7 +54,7 @@ version 3</A> or any later version). <BR> This release includes several important improvements to PPL 0.10, among which is better portability (including the support for - cross-compilation, increased robustness, better packaging and + cross-compilation), increased robustness, better packaging and several bug fixes. </TD> </TR>