From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Is it Ada 2005 or Ada 2007?
Date: Thu, 01 Nov 2007 07:16:49 -0400
Date: 2007-11-01T07:16:49-04:00 [thread overview]
Message-ID: <uk5p25i72.fsf@stephe-leake.org> (raw)
In-Reply-To: 87ir4nv6eq.fsf@ludovic-brenta.org
Ludovic Brenta <ludovic@ludovic-brenta.org> writes:
> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>> Ludovic Brenta <ludovic@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. See http://www.adaic.org/standards/05rm/html/RM-0-3.html
Ah. I thought paragraph numbers are not supposed to have decimal
points! But the introduction is weird anyway; it doesn't have a
section number. And there are more paragraphs with decimal points
later.
Typically, when refering to a paragraph, we use parens:
RM section (paragraph)
As the URL says, the introduction can be called section 0, so
I think the canonical reference to this paragraph is ARM 0 (3.1/2).
--
-- Stephe
next prev parent reply other threads:[~2007-11-01 11:16 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-10-30 22:16 Is it Ada 2005 or Ada 2007? Jerry
2007-10-30 23:49 ` Ludovic Brenta
2007-10-31 11:33 ` Stephen Leake
2007-10-31 12:02 ` Ludovic Brenta
2007-11-01 11:16 ` Stephen Leake [this message]
2007-11-01 22:34 ` Adam Beneschan
2007-11-11 0:51 ` Brian Gaffney
2007-10-31 0:05 ` anon
2007-10-31 15:38 ` Georg Bauhaus
2007-11-01 9:26 ` Jerry
2007-11-04 12:07 ` Dirk Craeynest
2007-11-04 12:32 ` Markus E L
2007-11-04 21:55 ` Jerry
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox