Module: ppl/ppl Branch: master Commit: a39916112aa5de36a5fdfc083a6df3f8110d7355 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a39916112aa5d... Author: Roberto Bagnara <bagnara@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@cs.unipr.it, - Department of Mathematics, University of Parma, Italy.} \\ -Patricia M. Hill\thanks{hill@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@bugseng.com, + BUGSENG srl.} \\ Enea Zaffanella\thanks{zaffanella@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@bugseng.com, + BUGSENG srl.} \\ } \maketitle +\thispagestyle{empty} +\clearpage{\pagestyle{empty}\cleardoublepage} \newpage -Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@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}