ASIS-for-GNAT Reference Manual
==============================

| *GNAT, The GNU Ada Development Environment*
| The GNAT Ada Compiler
| Version |version|

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
any later version published by the Free Software Foundation; with no
Invariant Sections, with the Front-Cover Texts being "GNAT Reference
Manual", and with no Back-Cover Texts.  A copy of the license is
included in the section entitled :ref:`gnu_fdl`.

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

   asis_rm/about_this_manual
   asis_rm/asis-for-gnat_and_the_asis_standard
   asis_rm/asis_extensions
   asis_rm/implementation-specific_features_and_implementation_permissions
   asis_rm/debugging_information

.. raw:: latex

   \appendix

.. toctree::
   :maxdepth: 3

   share/gnu_free_documentation_license