The newly created Ada Users Society... A preview

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 :smiley:

It seems the Swiss Alps influenced the design a bit :slight_smile:

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 :wink:

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