Module: ppl/w3ppl Branch: master Commit: e84c6a711aa6a5304e8fc3c7af90998b7f074cd5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e84c6a711aa... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Aug 4 12:21:56 2010 +0200 Section names made more specific. --- htdocs/Documentation/papers.raw | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/Documentation/papers.raw b/htdocs/Documentation/papers.raw index f062979..ef793be 100644 --- a/htdocs/Documentation/papers.raw +++ b/htdocs/Documentation/papers.raw @@ -87,7 +87,7 @@ the descriptions of NNC polyhedra. </TR> </TABLE> -<H3>On Widenings</H3> +<H3>On Widenings for Generic Convex Polyhedra</H3> <TABLE> @@ -337,7 +337,7 @@ This technical report is a preliminary version of the paper </TR> </TABLE> -<H3>On Widenings</H3> +<H3>On Widenings for Generic Convex Polyhedra</H3> <TABLE> <TR valign="top">