ACAA Header
 

Ada Reference Manual

This is the home of the Ada Reference Manual (ARM). The text of the Ada Reference manual is the source of the formal Ada Programming Language Standards. This site contains the ARM in multiple formats, the master version control system for the original source files (including the source for the tools) for the ARM, and other helpful documents.

Ada Reference Manual

The Ada Reference Manual is available here in various formats. The version of the Ada Reference Manual available here is the Consolidated Ada 2012 version, which includes the original third edition and the corrections from Technical Corrigendum 1. Although the copyright permissions are generous, there are some restrictions.
For printing the reference manual, we recommend the PDF version; for on-line reference to the reference manual, we recommend the HTML version.
[Note: Some ancient browser versions on some machines fail to display all parts of these documents (especially the paragraph numbers); we believe that upgrading the browser to the latest version (or changing to a modern browser) will solve the problem.]
Download RM-Final.PDF [3406K bytes]
Download RM-12_w_TC1-HTML.ZIP [1688K bytes]
Plain Text Ada Reference manual
Download RM-12_w_TC1-Txt.zip [634K bytes]

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.
2012-w-TC1-SRC.zip [1275K bytes]
The source files for the Ada Reference Manual are stored in the master version control system. You can browse the file hierarchy by picking directories (which have slashes after them, e.g. src/). If you pick a file, you will see the revision history for that file. Selecting a revision number or name will download that revision of the file. There is a link at each revision to display differences between that revision and the previous one, and a form at the bottom of the page that allows you to display differences between arbitrary revisions. Items marked as being in the Attic are deleted. Deleted items are still available in case they are needed when looking at a previous version of a file.

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 for free, non-commercial use.
Click the above link to download an executable version of the formatting tool for Windows 95/98/NT/2000/XP/7.
The source code for the formatting tool is stored in the master version control system. You can browse the file hierarchy by picking directories (which have slashes after them, e.g. src/). If you pick a file, you will see the revision history for that file. Selecting a revision number or name will download that revision of the file. There is a link at each revision to display differences between that revision and the previous one, and a form at the bottom of the page that allows you to display differences between arbitrary revisions. Items marked as being in the Attic are deleted. Deleted items are still available in case they are needed when looking at a previous version of a file.

Annotated Ada Reference Manual

The revised Annotated Ada Reference Manual is available here in various formats. The Annotated Ada Reference Manual includes the full text of the consolidated standard, as well as various annotations on the language design and implementations. It is primarily intended for language laywers (the ARG), Ada implementors, and historians; but it can be useful to anyone interested in language design. It contains little about usage of Ada, so it probably isn't interesting to normal Ada programmers.
This version includes all of the corrections from Technical Corrigendum 1, and additional annotations about those corrections.
Download AA-Final.pdf [5311K bytes]
Download AA-12_w_TC1-Html.zip [2602K bytes]
Plain Text Annotated Ada Reference manual
Download AA-12_w_TC1-Txt.zip [1174K bytes]

Additional Ada Reference Manual versions

Click here to access additional versions of the Consolidated Ada 2012 Reference manual (including versions with change bars and versions with all of the changes since Ada 95).

Previous Ada Reference Manual versions

Click here to access older versions of the Ada Reference manual (including Ada 83, Ada 95, Ada 2005, and the original [uncorrected] Ada 2012).

Draft Future Ada Reference Manual

Click here to access drafts of the Ada 202x Reference Manual and the matching Annotated Ada 202x Reference Manual.