[PPL-devel] [GIT] ppl/w3ppl(master): First steps at annoucing the release of PPL 0.11.1 .

20 Feb 2011

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<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 @@
-@PPL_VERSION=0.11@
+@PPL_VERSION=0.11.1@
@CHINA=C<SMALL>HINA</SMALL>@

    