.. spark2014 documentation master file, created by
   sphinx-quickstart on Wed Sep 12 14:54:36 2012.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.


SPARK Reference Manual
======================

.. Copyright notice for latex is in gfdl.tex. It is included specifically
   before the table of contents in LaTeX output (see conf.py), to avoid having
   it appear after the TOC in the generated PDF.

.. only:: html

   Copyright (C) 2013-2022, 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.
   A copy of the license is included in the section entitled 'GNU
   Free Documentation License'.

.. toctree::
   :maxdepth: 3
   :numbered:

   introduction
   lexical-elements
   declarations-and-types
   names-and-expressions
   statements
   subprograms
   packages
   visibility-rules
   tasks-and-synchronization
   program-structure-and-compilation-issues
   exceptions
   generic-units
   representation-issues
   the-standard-library
   language-defined-aspects-and-attributes
   language-defined-pragmas
   glossary

.. raw:: latex

   \appendix

.. toctree::
   :maxdepth: 3

   A. SPARK 2005 to SPARK 2014 Mapping Specification <mapping-spec>
   B. GNU Free Documentation License <gfdl>

.. uncomment and rename todo-summary.rst.wip to todo-summary.rst to enable todo
   C. To-Do Summary <todo-summary>
