[PPL-devel] [GIT] ppl/w3ppl(master): First steps at annoucing the release of PPL 0.11.1 .
Roberto Bagnara
bagnara at cs.unipr.it
Sun Feb 20 14:44:46 CET 2011
Module: ppl/w3ppl
Branch: master
Commit: 7d193dc29aa82f3693b8e23e6d036b5382a96b08
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7d193dc29aa82f3693b8e23e6d036b5382a96b08
Author: Roberto Bagnara <bagnara at 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 20, 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 24, 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 20, 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 24, 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 17, 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<sup>2</sup> 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 @@
- at PPL_VERSION=0.11@
+ at PPL_VERSION=0.11.1@
@CHINA=C<SMALL>HINA</SMALL>@
More information about the PPL-devel
mailing list