Ada 2012 Language Reference Manual

The documents on this page describe the 2012 revision to the Ada Standard, usually known as Ada 2012. The revisions were produced by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG), and have been published as the International Standard ISO/IEC 8652:2012(E). This document is often known as the Ada Reference Manual. Related documents are also found on this page.

The (now replaced) Ada 2005 consolidated standard is available here.

Send editorial comments on the documents to agent@ada-auth.org. Editorial comments are those that do not change the meaning of the text, such a spelling errors, doubled words, etc. [Note: Please restrict comments on paragraph and page layout to the contents of the RM-Final.PDF file.]

Substantive comments should be submitted to the Ada-Comment mailing list (ada-comment@ada-auth.org) as outlined in Introduction of the Standard.

Ada 2012 Language Reference Manual (LRM)
The revised Ada Reference Manual, corresponding to the international standard (ISO/IEC 8652:2012(E)). Also available for download as:

Adobe Acrobat (.pdf) with changes highlighted [4076K] (recommended for printing)
Adobe Acrobat (.pdf) with change bars only [3433K] (recommended for printing)
Adobe Acrobat (.pdf) without change bars [3336K] (recommended for printing)
Zip of HTML files [1645K]
Zip of text files [623K]

Stephen Leake has created a version in Emacs info format; find it on his site.

Ada 2012 Rationale
The Rationale provides an overview of new Ada 2012 features, examples of their use, compilatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. The Rationale is available on-line in HTML and PDF formats.

Annotated Ada 2012 Language Reference Manual (AARM)
Intended primarily for compiler writers, conformance test writers, and others who wish to study the fine details, the AARM contains all of the text and various annotations in the Ada 2012 LRM. This 2012 edition includes the all of the changes in the 3rd Edition of the Ada Reference Manual as well as new and revised annotations.
Also available for download as:

Adobe Acrobat (.pdf) with changes highlighted [6311K] (recommended for printing)
Adobe Acrobat (.pdf) without marked changes [5104K] (recommended for printing)
Zip of HTML files [2653K]
Zip of text files [1131K]

Stephen Leake has created a version in Emacs info format; find it on his site.

Ada Reference Manual Source Files
The source files used to create the Ada Reference Manual are available here. These should be of interest only to editors of the ARM. These files are used as input to the formatting tool (available below), and are in a Scribe-like language.

ARM_SRC.zip [1223K bytes]
Individual Source Files (In master version control system, browsable.)

Ada Reference Manual Formatting Tool
The Ada Reference Manual Formatting Tool converts the ARM source files into formatted text in commonly used formats, including HTML and RTF. The tool is written in Ada 95, and is available in source form under the GPL v3 license.

Windows executable [407K]
Source code for the Formatting Tool (In master version control system, browsable.)
ZIP of source code [351K]