help / color / mirror / Atom feed
From: (Dirk Craeynest)
Subject: Re: Ada 2022 Language Reference Manual to be Published by Springer
Date: Wed, 14 Jun 2023 14:13:33 -0000 (UTC)	[thread overview]
Message-ID: <u6chud$1nkv$> (raw)

AdaMagica  <> wrote:
>> ...
>> The Ada 2022 LRM is available online: 
>This ist still Draft 35. The final version is not yet available.

Note that the page at the above URL mentions:

  "This is draft 35. This draft contains all ARG-approved AI12s. This
  is the draft that has been submitted to complete the standardization

So draft 35 *is* what was submitted to ISO.

Randy, the RM editor, is aware that this and a few other web pages
still have to be updated now ISO published the new RM, and he assured
me after the WG9 meeting yesterday that this is on his "to do list".

>See also - Ada 23 at Last!

That message claimed about the ISO document: "The ToC is very different
from Draft 35."

While draft 35 is what was submitted to ISO, the documents indeed are
not identical.  Though I would not say the ToC's are "very different".

Yes, the introductory chapters in the ISO document are slightly
different from those in the RM on, and there's no Annex on
"Obsolescent Features" nor a "Glossary" (that was removed in draft 35
anyway).  All this is due to specific requirements that ISO has for its
standards.  There are more differences, such as the ISO document not
having any paragraph numbers as those are not allowed in ISO standards.

But the bulk of the ToC is identical, apart from those differences
required by ISO.  Most importantly: the described language in both
documents is identical.


Dirk (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

* 27th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2023)
* June 13-16, 2023, Lisbon, Portugal,

  reply	other threads:[~2023-06-14 14:13 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-06-14  6:49 Ada 2022 Language Reference Manual to be Published by Springer Dirk Craeynest
2023-06-14  8:20 ` AdaMagica
2023-06-14 14:13   ` Dirk Craeynest [this message]
2023-06-14 16:11     ` Egil H H
2023-06-14 17:03       ` AdaMagica
2023-06-15 19:36       ` Simon Wright
2023-06-14 16:15     ` AdaMagica
2023-06-14 19:47     ` Keith Thompson
2023-06-17  7:49       ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox