ASIS-for-GNAT User’s Guide

GNAT, The GNU Ada Development Environment
The GNAT Ada Compiler
Version 22.0w

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 the Invariant Sections being ‘GNU Free Documentation License’, with the Front-Cover Texts being ‘ASIS-for-GNAT User’s Guide’, and with no Back-Cover Texts. A copy of the license is included in the section entitled ‘GNU Free Documentation License’.