From: Simon Wright <simon@pushface.org>
Subject: Re: non record limited type
Date: Thu, 22 Feb 2018 07:56:21 +0000
Date: 2018-02-22T07:56:21+00:00 [thread overview]
Message-ID: <lypo4xlaoq.fsf@pushface.org> (raw)
In-Reply-To: b3ec45c7-2855-424c-88d7-886f6d509c0f@googlegroups.com
Jere <jhb.chat@gmail.com> writes:
> http://www.ada-auth.org/standards/12rm/html/RM-6-2.html
The latest revision is at
http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-TOC.html
next prev parent reply other threads:[~2018-02-22 7:56 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-21 15:58 non record limited type Mehdi Saada
2018-02-21 21:42 ` Jere
2018-02-21 22:29 ` Mehdi Saada
2018-02-21 23:08 ` Jere
2018-02-21 23:14 ` Jere
2018-02-22 0:09 ` Mehdi Saada
2018-02-22 0:26 ` Mehdi Saada
2018-02-22 2:57 ` Jere
2018-02-22 16:45 ` Jeffrey R. Carter
2018-02-22 17:06 ` Dmitry A. Kazakov
2018-02-22 7:56 ` Simon Wright [this message]
2018-02-22 1:20 ` Randy Brukardt
2018-02-22 1:29 ` Randy Brukardt
2018-02-22 8:25 ` Dmitry A. Kazakov
2018-02-22 23:24 ` Randy Brukardt
2018-02-23 8:58 ` 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