Here are the beginnings of a new website for Ada Reference Manuals, courtesy of Raphaël Amiard of AdaCore, hosted on GitHub:
3 Likes
Thanks as always for taking feedback on things. Hopefully my comments on the sites never come off as negative. I really don’t have a problem with them but sometimes I say things too directly so it may come off as complaining or disapproval (I have this trouble sometimes in many of my discussions. In real life I’m a really laid back person, but I know I sometimes come off too strong in discussions). I certainly try to not comment too much on them because I know my issues are somewhat unique to me, so I definitely don’t want to cause any changes that make it worse for others. I’m happy to just figure out ways to adjust my usage of the sties best I can.
Personally I much prefer the current RM display (e.g. ARM 3.4, though I agree the icons along the top are a little … dated.
Could any change please still allow us easy linking to a specific para? e.g http://www.ada-auth.org/standards/22rm/html/RM-3-4.html#p6 to go direct to 3.4 (6).
I suppose it’d be even easier if each (para) were a link to itself, one good thing about the ada-lang.io version!
3 Likes
Just a minor (funny) update, the website now has a logo 
It seems the Swiss Alps influenced the design a bit 
1 Like
Also, having spent so much of the last few weeks reading the ARM on there and comparing it against ada-auth, I’m heavily learning towards removing the ARM from ada-lang.io since it has so many issues (bulleted lists are missing, glossary terms are missing, syntax highlighting broken when paragraph numbers are in a code block, links not always jumping where they’re supposed to).
My colleague at AdaCore, Raphaël Amiard, has some interest in helping to keep your version of the ARM alive. Perhaps you two can collaborate on doing so.
2 Likes
If he has a Github account he can already jump into the issues and PRs of the Ada-Lang website GitHub - ada-lang-io/ada-lang-io: An Open Source Community site for Ada There is no need to ask for permission nor wait for some proposals 
Best,
Fer
Raphaël was the person who set up GitHub - Ada-Rapporteur-Group/Ada-Rapporteur-Group.github.io: Github pages for the Ada Rapporteur Group and was hoping to use that as a place to maintain other variants of the ARM.
1 Like
We just updated to the latest “draft 3” of the Ada 202Y Annotated Ada Reference Manual: Table of Contents
3 Likes
Is there a diff or list of changes somewhere?
You can now join the Ada User Society. Just head over to https://ada-user.org/ and for a modest annual fee, you can support the work of the Society to support the standardization, evolution, and implementation of the International Ada Standard.
3 Likes
What’s changed?? Nothing stands out from the contents.
This version incorporates more of the Ada 2022 "AI"s which can be found at Ada Rapporteur Group - Ada Interpretations . They are now being separated into two parts, those that are considered “corrections” to Ada 2022 and will be part of a forthcoming “Corrigendum”, and those that are considered “amendments” to Ada 2022 (i.e. extensions), and will be part of the next amendment to the Standard. You can tell the difference because simple corrections will have a paragraph number in the Ada 202Y RM ending in “/6” while amendments will have a paragraph number ending in “/7”.
You might want to check out the Foreword to the Ada 202Y RM to see the new verbiage: Foreword
2 Likes
Other than being worldwide, how is this different from Ada Europe?
The original idea of the Ada User Society was a simple re-branding of Ada-Europe to be more welcoming to those outside Europe, and in particular members of ACM SIGAda, given that SIGAda has now been merged into ACM SIGPLAN. However, given the significant history, and the successful ongoing conference series, associated with “Ada Europe”, it was decided to focus Ada User specifically on ongoing support for the ecosystem around the International Ada Standard, with perhaps over time a slow movement of certain other activities of Ada Europe over to Ada User.
1 Like