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

Module: ppl/w3ppl Branch: master Commit: 95acce84887eb6c3ba9eba5133a29f1073348e60 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=95acce84887...
Author: Roberto Bagnara bagnara@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 @@ -@PPL_VERSION=0.11.1@ +@PPL_VERSION=0.11.2@
@CHINA=C<SMALL>HINA</SMALL>@
participants (1)
-
Roberto Bagnara