.. -*- mode: rst; explicit-buffer-name: "pdfHeader.rst<RDS>" -*-

.. include:: ../etc/definitions.rst


:Date:    26, september 2014
:Authors: Jean-Paul Chaput
:Contact: <alliance-users@soc.lip6.fr>
:Version: 0.2

|medskip|

**Disclaimer:** This document is still far from complete.

|medskip|


=========================================
Symbolic To Real Conversion in Alliance
=========================================

|pagestylefancy|


.. contents::

|newpage|