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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 20 14:44:22 2011 +0100

First steps at annoucing the release of PPL 0.11.1.

---

htdocs/news.raw | 12 ++++++++++++ htdocs/ppl.raw | 30 ++++++++++++------------------ htdocs/templates/macros.tmpl | 2 +- 3 files changed, 25 insertions(+), 19 deletions(-)

diff --git a/htdocs/news.raw b/htdocs/news.raw index ca741bf..135597c 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,18 @@ of the Parma Polyhedra Library. <TABLE>

<TR> + <TD VALIGN=TOP><TT>Feb&nbsp;20,&nbsp;2011</TT></TD> + <TD> + <STRONG>PPL 0.11.1 has been released</STRONG> + <BR> + This release includes several important bug fixes and performance + improvements. See the + <A HREF="Download/ftp/releases/0.11.1/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Jan&nbsp;24,&nbsp;2011</TT></TD> <TD> <STRONG>BUGSENG is the new copyright holder</STRONG> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index d320a75..1de2851 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -51,6 +51,18 @@ version 3</A> or any later version). <TABLE>

<TR> + <TD VALIGN=TOP><TT>Feb&nbsp;20,&nbsp;2011</TT></TD> + <TD> + <STRONG><FONT COLOR=red>PPL 0.11.1 has been released</FONT></STRONG> + <BR> + This release includes several important bug fixes and performance + improvements. See the + <A HREF="Download/ftp/releases/0.11.1/NEWS">release notes</A> + for more information. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Jan&nbsp;24,&nbsp;2011</TT></TD> <TD> <STRONG><FONT COLOR=red>BUGSENG is the new copyright holder</FONT></STRONG> @@ -64,24 +76,6 @@ version 3</A> or any later version). </TD> </TR>

-<TR> - <TD VALIGN=TOP><TT>Nov&nbsp;17,&nbsp;2010</TT></TD> - <TD> - <STRONG>Two in one shot!</STRONG> - <BR> - Fabio Bossi got a Master's degree in Computer Science, with full marks - and honours and a thesis about the extensions he made to the PPL and - to the ECLAIR analyzer in order to support the correct approximation of - floating-point computations. - <BR> - Marco Poletti got a Laurea degree in Computer Science, with full marks - and honours and a thesis about his work on the sparse matrices that - are used in the MIP and PIP solvers of the PPL. - <BR> - <EM>Congratulations, Dottor² Bossi and Dottor Poletti!</EM> - </TD> -</TR> - </TABLE>

For older news items, see the <A HREF="news">complete news archive</A>. diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl index c76a037..c17f2bc 100644 --- a/htdocs/templates/macros.tmpl +++ b/htdocs/templates/macros.tmpl @@ -1,4 +1,4 @@ -@PPL_VERSION=0.11@ +@PPL_VERSION=0.11.1@

@CHINA=C<SMALL>HINA</SMALL>@