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

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 27 12:24:52 2011 +0100

Updated for PPL 0.11.2.

---

 htdocs/FAQ.raw               |    7 ++++---
 htdocs/news.raw              |   11 +++++++++++
 htdocs/ppl.raw               |   13 ++++++++++++-
 htdocs/templates/macros.tmpl |    2 +-
 4 files changed, 28 insertions(+), 5 deletions(-)

diff --git a/htdocs/FAQ.raw b/htdocs/FAQ.raw
index 5baa36c..49bdb6f 100644
--- a/htdocs/FAQ.raw
+++ b/htdocs/FAQ.raw
@@ -443,7 +443,8 @@ they can choose among the C, C++, Java, OCaml and Prolog interfaces.
 
 <BR>
 <B>A:</B>
-If all goes well, PPL 0.12 will be focused on facilities to support
+If all goes well, PPL 0.12 will be focused on improvements of memory
+utilization and facilities to support
 the analysis of floating point and machine integer computations.
 For the same release we hope to add serialization for all PPL objects.
 
@@ -454,5 +455,5 @@ 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.1 in January/February 2011
-and PPL 0.12 before the end of 2012.
+It is difficult to say.  We hope to release PPL 0.12 before the end of
+2011.
diff --git a/htdocs/news.raw b/htdocs/news.raw
index 135597c..350a873 100644
--- a/htdocs/news.raw
+++ b/htdocs/news.raw
@@ -10,6 +10,17 @@ of the Parma Polyhedra Library.
 <TABLE>
 
 <TR>
+  <TD VALIGN=TOP><TT>Feb 27, 2011</TT></TD>
+  <TD>
+    <STRONG>PPL 0.11.2 has been released</STRONG>
+    <BR>
+    This release fixes a few minor bugs of PPL 0.11.1. See the
+    <A HREF="Download/ftp/releases/0.11.2/NEWS">release notes</A>
+    for more information.
+  </TD>
+</TR>
+
+<TR>
   <TD VALIGN=TOP><TT>Feb 20, 2011</TT></TD>
   <TD>
     <STRONG>PPL 0.11.1 has been released</STRONG>
diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 1de2851..104a33a 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -51,6 +51,17 @@ version 3</A> or any later version).
 <TABLE>
 
 <TR>
+  <TD VALIGN=TOP><TT>Feb 27, 2011</TT></TD>
+  <TD>
+    <STRONG><FONT COLOR=red>PPL 0.11.2 has been released</FONT></STRONG>
+    <BR>
+    This release fixes a few minor bugs of PPL 0.11.1. See the
+    <A HREF="Download/ftp/releases/0.11.2/NEWS">release notes</A>
+    for more information.
+  </TD>
+</TR>
+
+<TR>
   <TD VALIGN=TOP><TT>Feb 20, 2011</TT></TD>
   <TD>
     <STRONG><FONT COLOR=red>PPL 0.11.1 has been released</FONT></STRONG>
@@ -65,7 +76,7 @@ version 3</A> or any later version).
 <TR>
   <TD VALIGN=TOP><TT>Jan 24, 2011</TT></TD>
   <TD>
-    <STRONG><FONT COLOR=red>BUGSENG is the new copyright holder</FONT></STRONG>
+    <STRONG>BUGSENG is the new copyright holder</STRONG>
     <BR>
     The copyright of the Parma Polyhedra Library has been transferred to
     <A HREF="http://bugseng.com/">BUGSENG</A> a newly established spin-off
diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl
index c17f2bc..1c5dad7 100644
--- a/htdocs/templates/macros.tmpl
+++ b/htdocs/templates/macros.tmpl
@@ -1,4 +1,4 @@
- at PPL_VERSION=0.11.1@
+ at PPL_VERSION=0.11.2@
 
 @CHINA=C<SMALL>HINA</SMALL>@