.. -*- 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