[PPL-devel] [GIT] ppl/w3ppl(master): Announced the transfer of copyright.

25 Jan 2011

Module: ppl/w3ppl
Branch: master
Commit: 84f5000b8a0710259364ca00726602213dc5e25a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=84f5000b8a0...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Jan 25 12:50:56 2011 +0100
Announced the transfer of copyright.
---
htdocs/news.raw |   14 ++++++++++++++
 htdocs/ppl.raw  |   31 +++++++++++++++----------------
 2 files changed, 29 insertions(+), 16 deletions(-)

diff --git a/htdocs/news.raw b/htdocs/news.raw
index cc78ff6..ffb1678 100644
--- a/htdocs/news.raw
+++ b/htdocs/news.raw
@@ -10,6 +10,20 @@ of the Parma Polyhedra Library.
 <TABLE>
<TR>
+  <TD VALIGN=TOP><TT>Jan&nbsp;24,&nbsp;2011</TT></TD>
+  <TD>
+    <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/%22%3EBUGSENG</A> a newly established spin-off
+    company of the <A HREF="http://www.unipr.it/">University of Parma</A>.
+    The PPL will of course continue to be free software, but commercial
+    licensing, support and maintenance is now available from
+    <A HREF=http://bugseng.com/%22%3EBUGSENG</A>.
+  </TD>
+</TR>
+
+<TR>
   <TD VALIGN=TOP><TT>Nov&nbsp;17,&nbsp;2010</TT></TD>
   <TD>
     <STRONG>Two in one shot!</STRONG>
diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index eb566d3..23e0369 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -51,9 +51,23 @@ version 3</A> or any later version).
 <TABLE>
<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>
+    <BR>
+    The copyright of the Parma Polyhedra Library has been transferred to
+    <A HREF=http://bugseng.com/%22%3EBUGSENG</A> a newly established spin-off
+    company of the <A HREF="http://www.unipr.it/">University of Parma</A>.
+    The PPL will of course continue to be free software, but commercial
+    licensing, support and maintenance is now available from
+    <A HREF=http://bugseng.com/%22%3EBUGSENG</A>.
+  </TD>
+</TR>
+
+<TR>
   <TD VALIGN=TOP><TT>Nov&nbsp;17,&nbsp;2010</TT></TD>
   <TD>
-    <STRONG><FONT COLOR=red>Two in one shot!</FONT></STRONG>
+    <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
@@ -68,21 +82,6 @@ version 3</A> or any later version).
   </TD>
 </TR>
-<TR>
-  <TD VALIGN=TOP><TT>Aug&nbsp;02,&nbsp;2010</TT></TD>
-  <TD>
-    <STRONG>PPL 0.11 has been released</STRONG>
-    <BR>
-    This release features a brand new Parametric Integer Programming
-    (PIP) problem solver, "deterministic" timeout computation
-    facilities, support for termination analysis via the automatic
-    synthesis of linear ranking functions, support for the
-    approximation of computations involving (bounded) machine
-    integers, plus a number of other new minor features and
-    enhancements, including some speed improvements.
-  </TD>
-</TR>
-
 </TABLE>
For older news items, see the <A HREF="news">complete news archive</A>.

    