Module: ppl/ppl Branch: master Commit: 404a6777b9a775d91a1934069f92be332bc09576 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=404a6777b9a77...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 14:31:25 2011 +0100
Front matter updated for all manuals.
---
doc/devref-language-interface.tex | 53 ++++++++++++++++++++++-------- doc/devref.tex | 64 ++++++++++++++++++++++-------------- doc/user-language-interface.tex | 2 +- doc/user.tex | 2 +- 4 files changed, 80 insertions(+), 41 deletions(-)
diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 4bb3374..400bcf8 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -35,6 +35,7 @@ \usepackage{textcomp} \usepackage{alltt} \usepackage{times} +\usepackage{tocloft} \usepackage{ifpdf} \ifpdf \usepackage[pdftex, @@ -58,22 +59,23 @@ \usepackage{ppl} \makeindex \setcounter{tocdepth}{2} -\renewcommand{\footrulewidth}{0.4pt}
-\rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/%7D for more information.}]{} -\lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/%7D for more information.}} +\renewcommand{\footrulewidth}{0.4pt} +\fancyfoot{} +\fancyfoot[LE,RO]{\includegraphics[height=0.4cm]{ppl_logo_no_ppl.pdf}} +\fancyfoot[RE,LO]{\scriptsize The PPL <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://bugseng.com%7D 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 \ <PPL_SED_LANGUAGE_NAME> Language Interface \ -Developer's Manual\thanks{This work - has been partly supported by: +Developer'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 @@ -97,16 +99,24 @@ Developer'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.} + Department of Mathematics, University of Parma, Italy, + and BUGSENG srl.} \ +Abramo Bagnara\thanks{abramo.bagnara@bugseng.com, + BUGSENG srl.} \ } -\maketitle +{\sffamily\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).
@@ -135,7 +145,22 @@ site: \begin{center} \href{http://bugseng.com/products/ppl/%7D%7B%5Ctt http://bugseng.com/products/ppl/%7D \end{center} +\vfill +\begin{center} +\includegraphics[width=5cm]{bugseng_logo.pdf} +\end{center} +\vfill +\clearpage{\pagestyle{empty}\cleardoublepage} + +% The following command is needed to have the right footer on +% the first page of the TOC. +\addtocontents{toc}{\protect\thispagestyle{fancy}} + +% Make sure there is enough space in the TOC for long subsection numbers. +\addtolength{\cftsubsecnumwidth}{1em}
\pagenumbering{roman} \tableofcontents +\clearpage{\pagestyle{empty}\cleardoublepage} + \pagenumbering{arabic} diff --git a/doc/devref.tex b/doc/devref.tex index ada8a89..66e724b 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -35,6 +35,7 @@ \usepackage{textcomp} \usepackage{alltt} \usepackage{times} +\usepackage{tocloft} \usepackage{ifpdf} \ifpdf \usepackage[pdftex, @@ -57,21 +58,22 @@ \usepackage{ppl} \makeindex \setcounter{tocdepth}{2} -\renewcommand{\footrulewidth}{0.4pt}
-\rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/%7D for more information.}]{} -\lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/%7D 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 Developer's Manual (version $projectnumber). See \url{http://bugseng.com%7D 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 \ -Developer's Manual\thanks{This work - has been partly supported by: +Developer'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 @@ Developer'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 +{\sffamily\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,22 @@ site: \begin{center} \href{http://bugseng.com/products/ppl/%7D%7B%5Ctt http://bugseng.com/products/ppl/%7D \end{center} +\vfill +\begin{center} +\includegraphics[width=5cm]{bugseng_logo.pdf} +\end{center} +\vfill +\clearpage{\pagestyle{empty}\cleardoublepage} + +% The following command is needed to have the right footer on +% the first page of the TOC. +\addtocontents{toc}{\protect\thispagestyle{fancy}} + +% Make sure there is enough space in the TOC for long subsection numbers. +\addtolength{\cftsubsecnumwidth}{1em}
\pagenumbering{roman} \tableofcontents +\clearpage{\pagestyle{empty}\cleardoublepage} + \pagenumbering{arabic} diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index 9202db5..cb4f0a0 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -113,7 +113,7 @@ Abramo Bagnara\thanks{abramo.bagnara@bugseng.com, \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)
diff --git a/doc/user.tex b/doc/user.tex index 0c34e8f..19eb24e 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -112,7 +112,7 @@ Abramo Bagnara\thanks{abramo.bagnara@bugseng.com, \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)