From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Subject: Re: A curiosity about the RM
Date: Sat, 28 Jun 2014 06:19:48 +0000 (UTC)
Date: 2014-06-28T06:19:48+00:00 [thread overview]
Message-ID: <lolmq4$hba$1@dont-email.me> (raw)
In-Reply-To: lolimp$vmb$1@dont-email.me
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 732 bytes --]
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
next prev parent reply other threads:[~2014-06-28 6:19 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-06-27 8:53 A curiosity about the RM mockturtle
2014-06-27 12:23 ` Aay Jay Chan
2014-06-28 5:09 ` J-P. Rosen
2014-06-28 6:19 ` Dirk Craeynest [this message]
2014-06-28 8:09 ` J-P. Rosen
2014-06-28 19:18 ` Robert A Duff
2014-06-29 19:45 ` mockturtle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox