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 third edition, usually known as Ada 2012. 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 [3336K bytes]
Download RM-12-HTML.ZIP [1645K bytes]
Plain Text Ada Reference manual
Download RM-12-Txt.zip [623K 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-SRC.zip [1223K 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 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; it contains little of general interest 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 [5104K bytes]
Download AA-12-Html.zip [2653K bytes]
Plain Text Annotated Ada Reference manual
Download AA-12-Txt.zip [1131K bytes]

Previous Ada Reference Manual versions

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

Draft Future Ada Reference Manual

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