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

GNAT, The GNU Ada Development Environment

Version 20.0w
Date: Oct 17, 2018


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 GNU Free Documentation License.