[PPL-devel] [GIT] ppl/w3ppl(master): Updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Aug  3 09:15:46 2010 +0200

Updated.

---

 htdocs/FAQ.raw |    6 ++----
 1 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw
index 4c9ec50..04baed2 100644
--- a/htdocs/FAQ.raw
+++ b/htdocs/FAQ.raw
@@ -456,10 +456,8 @@ they can choose among the C, C++, Java, OCaml and Prolog interfaces.
 
 <BR>
 <B>A:</B>
-For PPL 0.11 we are adding new operations and numerical abstractions
-that allow to approximate the result of bounded integer computations.
 If all goes well, PPL 0.12 will be focused on facilities to support
-the analysis of floating point computations.
+the analysis of floating point and machine integer computations.
 For the same release we hope to add serialization for all PPL objects.
 
 <P>
@@ -469,4 +467,4 @@ For the same release we hope to add serialization for all PPL objects.
 
 <BR>
 <B>A:</B>
-It is difficult to say.  We hope to release PPL 0.11 in May/June 2009.
+It is difficult to say.  We hope to release PPL 0.12 in January/February 2011.