From: Ian Douglas <ian@vionia.com>
Subject: Re: Newbie question # 2
Date: Fri, 7 Aug 2020 04:28:08 -0700 (PDT) [thread overview]
Message-ID: <86bfa1a7-226b-4cea-9408-402a1727bf72o@googlegroups.com> (raw)
In-Reply-To: <lya6z7cwfa.fsf@pushface.org>
On Thursday, 6 August 2020 23:10:52 UTC+2, Simon Wright wrote:
> Ian Douglas writes:
>
> > Okay that's a new construct I haven't come across yet. Let me see what
> > I can dig up on that.
>
> ARM 18.14 The Generic Package Containers.Indefinite_Ordered_Maps
> http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-18-14.html
>
> which is like
>
> A.18.6 The Generic Package Containers.Ordered_Maps
> http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-18-6.html
>
Thanks Simon, will investigate.
Cheers, Ian
next prev parent reply other threads:[~2020-08-07 11:28 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-08-06 18:40 Newbie question # 2 Ian Douglas
2020-08-06 18:56 ` Simon Wright
2020-08-06 19:41 ` Ian Douglas
2020-08-06 21:10 ` Simon Wright
2020-08-07 11:28 ` Ian Douglas [this message]
2020-08-06 19:20 ` Niklas Holsti
2020-08-06 19:45 ` Ian Douglas
2020-08-06 20:08 ` Niklas Holsti
2020-08-06 19:41 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox