Download a tar gzip file of the ARM 95-1-20031207 or the Annotated ARM 95-1-20031207
Download a tar gzip of the info version of the Ada 2005 Reference Manual and Annotated Ada 2005 Reference Manual; arm2005-20070928.tar.gz
These files are produced from the official ARM sources, by Ada code that generates Texinfo which is then processed by Gnu makeinfo. The other formats of this manual are produced by the same Ada code.
Download the Ada source arm_form-20070928-src.tar.gz for the processing program. This is an enhanced version of the program available on the ARM sources web site; it includes Texinfo output.
The source includes a GNAT project file and Gnu Makefile; it compiles cleanly with GNAT 6.0.2. It does not use any Ada 2005 syntax, so earlier compilers should work as well.
This also contains a start on a LaTeX conversion. The current PDF format does not have as many internal hyperlinks as the info and HTML versions; producing LaTeX as an intermediate is one way to fix that. But it turned out to be more work than I have time for.
my home page.