[PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ09TRa updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Apr 21 11:31:21 2009 +0200

BagnaraHZ09TRa updated.

---

 htdocs/Documentation/BagnaraHZ09TRa.pdf |  Bin 311884 -> 312555 bytes
 htdocs/Documentation/ppl.bib            |    3 ++-
 2 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/htdocs/Documentation/BagnaraHZ09TRa.pdf b/htdocs/Documentation/BagnaraHZ09TRa.pdf
index d4740b9..1a6554d 100644
Binary files a/htdocs/Documentation/BagnaraHZ09TRa.pdf and b/htdocs/Documentation/BagnaraHZ09TRa.pdf differ
diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib
index 03d4d3e..3d81fc5 100644
--- a/htdocs/Documentation/ppl.bib
+++ b/htdocs/Documentation/ppl.bib
@@ -940,7 +940,8 @@
   Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy",
   Year = 2009,
   Note = "Available at \url{http://www.cs.unipr.it/Publications/}.
-          Also published as {\tt arXiv:cs.CG/0904.1783},
+          An improved version (typos corrected in statement and proof
+          of Theorem~6.8) has been published as {\tt arXiv:cs.CG/0904.1783},
           available from \url{http://arxiv.org/}.",
   Abstract = "Deciding whether the union of two convex polyhedra is a
               convex polyhedron is a basic problem in polyhedral