.. SPARK 2014 User's Guide documentation master file, created by
   sphinx-quickstart on Mon Apr  4 14:49:11 2011.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

SPARK 2014 User's Guide
=======================

.. 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) 2011-2012, 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'.

   Translation to Japanese by Mr. Masao Ito (NIL)

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

  ja/getting_started_ja
  ja/introduction_ja
  ja/install_ja
  ja/spark_mode_ja
  ja/spark_2014_ja
  ja/gnatprove_ja

.. raw:: latex

   \appendix

.. toctree::
   :maxdepth: 3

   A. GNU Free Documentation License <gfdl>
