Re: Is it Ada 2005 or Ada 2007?

[Adam Beneschan <adam@irvine.com>]

On Nov 1, 4:16 am, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:
> Ludovic Brenta <ludo...@ludovic-brenta.org> writes:
> > Stephen Leake <stephen_le...@stephe-leake.org> writes:
> >> Ludovic Brenta <ludo...@ludovic-brenta.org> writes:
> >>> Officially informally (!), it is "Ada 2005" because ARM 3.1/2 says so.
> >>> That is the result of a majority agreement between the members of the
> >>> working group, most of whom are compiler vendors.
>
> >> Just being pedantic, I don't see that statement in ARM 3.1/2; that
> >> paragraph doesn't exist; see
> >>http://www.adaic.org/standards/05rm/html/RM-3-1.html
>
> >> Perhaps you meant a different paragraph?
>
> > Yes, I meant paragraph 3.1/2 in the Introduction, not paragraph 2 in
> > section 3.1.  Seehttp://www.adaic.org/standards/05rm/html/RM-0-3.html
>
> Ah. I thought paragraph numbers are not supposed to have decimal
> points!

Paragraph numbers do have decimal points, if they were inserted
between paragraphs of the original Ada 95 standard, so that paragraphs
would not need to be renumbered unnecessarily.  This is true
throughout the whole manual, not just in the Introduction (and I
believe it was true even before Ada 2005, for paragraphs inserted by
an earlier Corrigendum).

                      -- Adam