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-22 12:03:12 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed-west.nntpserver.com!hub1.meganetnews.com!nntpserver.com!telocity-west!TELOCITY!sn-xit-03!sn-xit-06!sn-post-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Null Record is not always Null Date: Tue, 22 Oct 2002 14:00:29 -0500 Organization: Posted via Supernews, http://www.supernews.com Message-ID: References: <1b585154.0210100512.54af8543@posting.google.com> <3DA5AE77.BE340477@ACM.org> X-Newsreader: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 X-Complaints-To: abuse@supernews.com Xref: archiver1.google.com comp.lang.ada:30045 Date: 2002-10-22T14:00:29-05:00 List-Id: Colin Paul Gloster wrote in message <3DA5AE77.BE340477@ACM.org>... >Robert A Duff wrote responding to Colin Paul Gloster: > >"By the way, it would be helpful if you specified paragraph numbers when >referring to the RM, as in 13.3(48) [..]" > >I agree, but the HTML version on the Ada Information Clearinghouse >website does not provide the numbering (and I do not always feel like >counting manually) and I often do not have my Springer Verlag hardcopy >with me when I post to the newsgroup. Wrong; the HTML RM on the AdaIC site does have paragraph numbers. I spent a lot of time making the paragraph numbers look right in the HTML. However, some versions of Netscape don't display my carefully crafted work. (This is standard CSS1 markups.) Other versions of Netscape (and all versions of IE that I've tried) display them fine. Randy Brukardt ARG Editor