This is the home of the Ada Reference Manual (ARM), the Ada Programming Language Standard. 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 revised edition which includes all of the corrections from Technical Corrigendum 1. Although the copyright permissions are generous, there are some restrictions.
When ISO published the Technical Corrigendum, it did not also publish a document that merges the Technical Corrigendum changes into the text of the International Standard. However, ISO rules require that the project editor for the Technical Corrigendum be able to produce such a document on demand. The document available here is what the project editor would provide to ISO in response to such a request. It should be understood that the publication of any ISO document involves changes in "boilerplate" as well as a review by professional editors that may introduce editorial changes.
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 versions of Netscape 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 will solve the problem.)
Download RM.PDF [2390K bytes]
Download ARM_HTML.ZIP [1086K bytes]
On-line Ada Reference Manual
Download ARM_TXT.ZIP [437K 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.
ARM_SRC.ZIP [704K 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.
Executable Version of the Tool
Click the above link to download an executable version of the formatting tool for Windows 95/98/NT/2000.
Source code for the Formatting Tool
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 AARM.PDF [3703K bytes]
Download AARM_HTML.ZIP [1619K bytes]
On-line Annotated Ada Reference manual
Download AARM_TXT.ZIP [755K bytes]