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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!newspeer1.nac.net!newsfeed.xs4all.nl!newsfeed1a.news.xs4all.nl!xs4all!rt.uk.eu.org!news.mixmin.net!news2.hunter.apana.org.au!brushtail.apana.org.au!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: A curiosity about the RM
Date: Sat, 28 Jun 2014 06:19:48 +0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven
Message-ID: <lolmq4$hba$1@dont-email.me>
References: <14459410-f5a4-433d-b3ea-5cac31d0d86c@googlegroups.com>
 <lolimp$vmb$1@dont-email.me>
Injection-Date: Sat, 28 Jun 2014 06:19:48 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="2dacc763d5aee253ed9b901ccded1054";
 logging-data="17770"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX19fHyKMcc3aMnitS2q44NtP3Tk4Tpi5/p8="
Summary: Find the answer in the RM
Originator: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Cancel-Lock: sha1:Wnahm+l1NM8H9Qb6oIe/j7j6L9E=
Xref: number.nntp.dca.giganews.com comp.lang.ada:187275
Date: 2014-06-28T06:19:48+00:00
List-Id: <comp.lang.ada>

In article <lolimp$vmb$1@dont-email.me>, J-P. Rosen <rosen@adalog.fr> wrote:
>Le 27/06/2014 10:53, mockturtle a écrit :
>> Dear all, I just payed attention to the fact that some paragraphs in
>> our beloved RM are labeled with a single number, while others are
>> labeled with something like "number1/number2" (see, for example,
>> http://www.ada-auth.org/standards/12rm/html/RM-1-1-2.html)
[...]
>Paragraph without version number are unchanged since Ada83.
>with /1, it's unchanged since Ada95, /2 Ada 2005, and /3 Ada 2012.

For the format of paragraph numbers in the RM, see also paragraph
number 77.5/3 at the end of the Introduction of the RM, or directly:
http://www.ada-auth.org/standards/12rm/html/RM-0-2.html#p77.5

Dirk