From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,47208e1e64e89fe0
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-10-10 10:29:06 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!uunet!sea.uu.net!ash.uu.net!world!news
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Null Record is not always Null
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Sender: news@world.std.com (Mr Usenet Himself)
Message-ID: <wccwuoqp5jf.fsf@shell01.TheWorld.com>
Date: Thu, 10 Oct 2002 17:28:20 GMT
Content-Type: text/plain; charset=us-ascii
References: <1b585154.0210100512.54af8543@posting.google.com>
 <slrnaqb2uj.of3.Colin_Paul_Gloster@camac.dcu.ie>
 <wccit0apad9.fsf@shell01.TheWorld.com> <3DA5AE77.BE340477@ACM.org>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Organization: The World Public Access UNIX, Brookline, MA
Xref: archiver1.google.com comp.lang.ada:29679
Date: 2002-10-10T17:28:20+00:00
List-Id: <comp.lang.ada>

Colin Paul Gloster <Colin_Paul_Gloster@ACM.org> writes:

> I agree, but the HTML version on the Ada Information Clearinghouse
> website does not provide the numbering ...

I use the plain ascii text version, which has the advantage of being
able to cut-and-paste rules from the RM into posts and e-mail messages.

I'm surprised the HTML version has no paragraph numbers.
I consider an Ada RM without paragraph numbers to be useless.

The actual ISO Ada standard does not have paragraph numbers -- it's
against the ISO Standard for writing standards.  So when I produced the
final version, I produced one for ISO without paragraph numbers, and one
for everybody else with paragraph numbers.

>...(and I do not always feel like
> counting manually)

And if you *did* count manually, I'll bet you'd get the wrong answer in
some cases.  ;-)  The algorithm for determining the paragraph numbers is
arcane -- I never fully understood it.  There are several places where
there are paragraph numbers next to blank space, or the numbering starts
at 2.  And in the new version with the Corrigendum included, there are
cases like E.2.2(9.3).

- Bob