This website is covered by two licenses.
One license covers the Annotated Ada Reference Manual. It is the usual Ada license as found in the Ada Reference Manual itself. The whole book found on this website is covered by that license, including all the AAda additions.
The other license covers the AAda compiler source code available on this website and any copy anywhere else. The compiler is covered by the GNU GPL version 3 or newer license by the Free Software Foundation. A full copy of the software license is also included in the AAda Annotated Ada Reference Manual, although it is not covered, nor does it modify the Annotated Ada Reference Manual license.