nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improved title page.

This commit is contained in:
Achim D. Brucker 2019-07-28 10:55:39 +01:00
parent c43d844082
commit 8a2cfc1044
1 changed files with 19 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
View File

@ -145,25 +145,26 @@ France, and therefore granted with public funds of the Program ``Investissements
\publishers{
\begin{center}
\includegraphics[width=.25\textwidth]{figures/Isabelle_DOF-logo}
\includegraphics[width=.28\textwidth]{figures/Isabelle_DOF-logo}
\end{center}
\bigskip
\bigskip
\vspace{3cm}
\normalsize
\begin{tabular}{p{5.5cm}cp{5.5cm}}
Department of Computer Science\newline
University of Exeter\newline
Exeter, EX4 4QF\newline
UK
&
\hspace{.5cm}
&
Laboratoire en Recherche\newline
~~~~en Informatique (LRI)\newline
Universit\'e Paris-Saclay\newline
91405 Orsay Cedex\newline
France
\end{tabular}
\begin{minipage}{\textwidth}
\begin{minipage}{6cm}
\normalsize
Department of Computer Science\\
University of Exeter\\
Exeter, EX4 4QF\\
UK
\end{minipage}
\hfill
\begin{minipage}{8cm}
\raggedleft\normalsize
Laboratoire en Recherche en Informatique (LRI)\\
Universit\'e Paris-Saclay\\
91405 Orsay Cedex\\
France
\end{minipage}
\end{minipage}
}