.. SPARK Booklet documentation master file, created by
   sphinx-quickstart on Fri Feb 13 09:28:28 2015.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

SPARK Booklet
=============

Copyright (C) 2011-2014, AdaCore and Capgemini Engineering

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1
or any later version published by the Free Software Foundation;
with no Invariant Sections, with no Front-Cover Texts, and with no
Back-Cover Texts.

.. toctree::
   :maxdepth: 2

   introduction
   usage_scenarios

.. Indices and tables
.. ==================

.. * :ref:`genindex`
.. * :ref:`modindex`
.. * :ref:`search`
