coriolis/documentation/content/pages/check-toolkit/CheckToolkit.rst

59 lines
1.5 KiB
ReStructuredText
Raw Normal View History

.. -*- Mode: rst -*-
.. include:: ../../../etc/definitions.rst
.. role:: raw-html(raw)
:format: html
.. URLs that changes between the various backends.
.. _Coriolis Tools Documentation: http://coriolis.lip6.fr/
.. _Stratus Documentation: http://coriolis.lip6.fr/pages/stratus-language.html
.. _Here: ../../images/users-guide/UsersGuide.pdf
.. _Coriolis User's Guide: ../../images/users-guide/UsersGuide.pdf
.. raw:: latex
\newpage
\pagestyle{empty}
\begin{center}
\hfill \includegraphics[height=2.0cm]{../../../etc/images/Logo-LIP6-bleugris}
\hfill \includegraphics[height=1.8cm]{../../../etc/images/Logo-SU}
\hfill \includegraphics[height=2.0cm]{../../../etc/images/Logo-CNRS}
\hfill
\\*[2cm]
\huge \textsc{Sorbonne Université} \\*[1cm]
\huge {\textsc{lip6} Laboratory} \\*[3cm]
\Huge \textbf{\textsc{Alliance Check Toolkit}} \\*[1cm]
\huge {Jean-Paul \textsc{Chaput}} \\
\Large\href{mailto:Jean-Paul.Chaput@lip6.fr}{Jean-Paul.Chaput@lip6.fr}\\*[4cm]
\includegraphics[scale=1.0]{../../../etc/images/logoCC.pdf}
\normalsize
This work is licensed under a \\
Creative Commons Attribution-NonCommercial-ShareALike 4.0 International License. \\
Creative Commons License \href{https://creativecommons.org/licenses/by-nc-sa/4.0/}{creativecommons.org/licenses/by-nc-sa/4.0/}
\end{center}
\newpage
\pagestyle{fancy}
|pagestylefancy|
.. contents::
|newpage|
.. include:: README.rst