comp.lang.ada
 help / color / mirror / Atom feed
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



  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