From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012 Constraints (WRT an Ada IR)
Date: Fri, 9 Dec 2016 09:56:52 +0100
Organization: A noiseless patient Spider
Message-ID: <o2dri3$6me$1@dont-email.me>
References: <o1uj70$qe2$1@dont-email.me> <o1uroj$jsj$1@gioia.aioe.org>
 <47366b42-c0a3-41bf-a44a-5241c109d60f@googlegroups.com>
 <alpine.DEB.2.20.1612050922450.22845@debian> <o23a8a$11e9$1@gioia.aioe.org>
 <lywpfed43r.fsf@pushface.org>
 <58f477d2-8b01-4001-bad8-47ea73424f4c@googlegroups.com>
 <o24oqj$1no2$1@gioia.aioe.org>
 <6e206c3b-d4a8-44ab-9e0e-adb0924983ef@googlegroups.com>
 <o2799o$1hn5$1@gioia.aioe.org>
 <10e8cb52-1cbd-40ed-ba11-f474c2263ced@googlegroups.com>
 <84oe4cdv010g9fba0jrjv2os7c0halucd0@4ax.com> <o28mnv$dl0$1@dont-email.me>
 <o28phs$mb0$1@dont-email.me> <o2c8vt$rpp$1@dont-email.me>
 <o2dppg$1cn$1@dont-email.me>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 9 Dec 2016 08:55:31 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="8ad6b981c4b88663b1b5325f7a4ccd25";
	logging-data="6862"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19cMVdvwkdjxKgN5mVOaLw1HAhrnDAElh0="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:45.0)
 Gecko/20100101 Thunderbird/45.5.1
In-Reply-To: <o2dppg$1cn$1@dont-email.me>
Cancel-Lock: sha1:NBIbuJ02FX8l+8taxq02sruK/L4=
Xref: news.eternal-september.org comp.lang.ada:32691
Date: 2016-12-09T09:56:52+01:00
List-Id: <comp.lang.ada>

On 09.12.16 09:26, J-P. Rosen wrote:
> Le 08/12/2016 à 19:33, G.B. a écrit :
>> On 07.12.16 11:51, J-P. Rosen wrote:
>>
>>> The Rational R1000 worked this way
>>
>> This machine is a well kept secret!
>> Or maybe I can't fill a search box properly.
>>
> ???
> https://en.wikipedia.org/wiki/Rational_R1000
>

Yes, and it has dead links, but I had missed the whole
bookshelf and showroom in .dk... so thanks for putting
the article under my nose again. (It also states "because of
the classified nature of much Ada programming, these units
had been wiped"... triggers a knee-jerk reaction)

-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff