[PPL-devel] [GIT] ppl/ppl(master): Front matter updated for all manuals.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Nov 6 14:31:45 CET 2011
Module: ppl/ppl
Branch: master
Commit: 404a6777b9a775d91a1934069f92be332bc09576
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=404a6777b9a775d91a1934069f92be332bc09576
Author: Roberto Bagnara <bagnara at 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/} 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/} 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} 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 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.}
+ Department of Mathematics, University of Parma, Italy,
+ and BUGSENG srl.} \\
+Abramo Bagnara\thanks{abramo.bagnara at bugseng.com,
+ BUGSENG srl.} \\
}
-\maketitle
+{\sffamily\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).
@@ -135,7 +145,22 @@ site:
\begin{center}
\href{http://bugseng.com/products/ppl/}{\tt http://bugseng.com/products/ppl/}
\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/} for more information.}]{}
-\lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer'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 Developer'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 \\
-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 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
+{\sffamily\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,22 @@ site:
\begin{center}
\href{http://bugseng.com/products/ppl/}{\tt http://bugseng.com/products/ppl/}
\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 at bugseng.com,
\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)
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 at bugseng.com,
\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)
More information about the PPL-devel
mailing list