[PPL-devel] [GIT] ppl/ppl(master): Revised.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Nov  5 19:47:53 2011 +0100

Revised.

---

 doc/user.tex |   56 ++++++++++++++++++++++++++++++--------------------------
 1 files changed, 30 insertions(+), 26 deletions(-)

diff --git a/doc/user.tex b/doc/user.tex
index 6680d5f..62faa88 100644
--- a/doc/user.tex
+++ b/doc/user.tex
@@ -35,20 +35,21 @@
 \usepackage{textcomp}
 \usepackage{alltt}
 \usepackage{times}
+\usepackage{tocloft}
 \usepackage{ifpdf}
 \ifpdf
 \usepackage[pdftex,
             pagebackref=true,
             colorlinks=true,
             linkcolor=blue,
-            unicode
+            unicode,draft
            ]{hyperref}
 \else
 \usepackage[ps2pdf,
             pagebackref=true,
             colorlinks=true,
             linkcolor=blue,
-            unicode
+            unicode,draft
            ]{hyperref}
 \usepackage{pspicture}
 \fi
@@ -57,21 +58,22 @@
 \usepackage{ppl}
 \makeindex
 \setcounter{tocdepth}{2}
-\renewcommand{\footrulewidth}{0.4pt}
 
-\rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/} for more information.}]{}
-\lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/} for more information.}}
+\renewcommand{\footrulewidth}{0.4pt}
+\fancyfoot{}
+\fancyfoot[LE,RO]{\includegraphics[height=0.4cm]{ppl_logo_no_ppl.pdf}}
+\fancyfoot[RE,LO]{\small The PPL User's Manual (version $projectnumber). See \url{http://bugseng.com} for more information.}
 
 \setlength{\headheight}{24pt}
 
-%% This only applies to the title: it avoids a pdf duplicate link error.
-\pagenumbering{Alph}
-
 \begin{document}
 \title{
+\includegraphics[height=9cm]{ppl_logo.pdf} \\
+\ \\
 The Parma Polyhedra Library \\
-User's Manual\thanks{This work
-  has been partly supported by:
+User's Manual\thanks{This work is based on previous work also by
+Elisa Ricci, Sara Bonini, Andrea Pescetti, Angela Stazzone, Tatiana Zolo.
+This work has been partly supported by:
   University of Parma's FIL scientific research project (ex 60\%)
     ``Pure and Applied Mathematics'';
   MURST project
@@ -95,27 +97,24 @@ User's Manual\thanks{This work
 }
 \author{
 Roberto Bagnara\thanks{bagnara at cs.unipr.it,
-  Department of Mathematics, University of Parma, Italy.} \\
-Patricia M. Hill\thanks{hill at comp.leeds.ac.uk,
-  School of Computing, University of Leeds, U.K.} \\
+  Department of Mathematics, University of Parma, Italy,
+  and BUGSENG srl.} \\
+Patricia M. Hill\thanks{patricia.hill at bugseng.com,
+  BUGSENG srl.} \\
 Enea Zaffanella\thanks{zaffanella at cs.unipr.it,
-  Department of Mathematics, University of Parma, Italy.} \\
-\ \\
-based on previous work also by \\
-\ \\
-Elisa Ricci \\
-\ \\
-and \\
-\ \\
-Sara Bonini \\
-Andrea Pescetti \\
-Angela Stazzone \\
-Tatiana Zolo
+  Department of Mathematics, University of Parma, Italy,
+  and BUGSENG srl.} \\
+Abramo Bagnara\thanks{abramo.bagnara at bugseng.com,
+  BUGSENG srl.} \\
 }
 \maketitle
+\thispagestyle{empty}
+\clearpage{\pagestyle{empty}\cleardoublepage}
 
 \newpage
-Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara at cs.unipr.it).
+Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara at cs.unipr.it).\\
+Copyright \copyright\ 2010--2011 BUGSENG srl (http://bugseng.com)
+
 
 This document describes the Parma Polyhedra Library (PPL).
 
@@ -144,7 +143,12 @@ site:
 \begin{center}
 \href{http://bugseng.com/products/ppl/}{\tt http://bugseng.com/products/ppl/}
 \end{center}
+\clearpage{\pagestyle{empty}\cleardoublepage}
+
+\addtolength{\cftsubsecnumwidth}{1em}
 
 \pagenumbering{roman}
 \tableofcontents
+\clearpage{\pagestyle{empty}\cleardoublepage}
+
 \pagenumbering{arabic}