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=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.66.169.231 with SMTP id ah7mr15476307pac.40.1403954410846; Sat, 28 Jun 2014 04:20:10 -0700 (PDT) Path: border2.nntp.dca.giganews.com!nntp.giganews.com!uq10no15208377igb.0!news-out.google.com!q9ni924qaj.0!nntp.google.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news.glorb.com!feeder.erje.net!eu.feeder.erje.net!news2.arglkargh.de!news.mixmin.net!news2.hunter.apana.org.au!brushtail.apana.org.au!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: A curiosity about the RM Date: Sat, 28 Jun 2014 10:09:46 +0200 Organization: A noiseless patient Spider Message-ID: References: <14459410-f5a4-433d-b3ea-5cac31d0d86c@googlegroups.com> Mime-Version: 1.0 Injection-Date: Sat, 28 Jun 2014 08:09:46 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="9e449da8dff131e3c6c81b3db3365d93"; logging-data="19345"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ov0Gk5dZ+ZeU0a6Y9rNL2" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 In-Reply-To: Cancel-Lock: sha1:OrFv7CyAaqCUsalQfrTYvNw3Fiw= X-Enigmail-Version: 1.6 X-Received-Bytes: 1841 X-Received-Body-CRC: 2226235407 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Xref: number.nntp.dca.giganews.com comp.lang.ada:187276 Date: 2014-06-28T10:09:46+02:00 List-Id: Le 28/06/2014 08:19, Dirk Craeynest a écrit : >> 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 > Hmm... which means that in my note above, I'm off by one version of the standard! -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr