GNAT User's Guide Supplement for GNAT Pro Safety-Critical and GNAT Pro High-Security
====================================================================================

.. only:: not latex

    *GNAT, The GNU Ada Development Environment*

    | Version |version|
    | Date: |today|


    AdaCore

    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

   gnathie_ug/about_this_guide
   gnathie_ug/the_high_integrity_philosophy
   gnathie_ug/using_gnat_pro_features_relevant_to_high_integrity
   gnathie_ug/the_predefined_profiles
   gnathie_ug/the_gnat_configurable_run_time_facility

.. raw:: latex

   \appendix

.. toctree::
   :maxdepth: 3

   share/gnu_free_documentation_license