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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable 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!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012 Constraints (WRT an Ada IR)
Date: Sat, 10 Dec 2016 16:13:41 +0100
Organization: JSA Research & Innovation
Message-ID: <87twabx1ei.fsf@adaheads.sparre-andersen.dk>
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>
	<o2dri3$6me$1@dont-email.me>
NNTP-Posting-Host: 109.56.232.95.mobile.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: franka.jacob-sparre.dk 1481382821 18198 109.56.232.95 (10 Dec 2016
 15:13:41 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 10 Dec 2016 15:13:41 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:G4SS0Cxk8ejzfPajKl+S12/kBuw=
Xref: news.eternal-september.org comp.lang.ada:32709
Date: 2016-12-10T16:13:41+01:00
List-Id: <comp.lang.ada>

G.B. <bauhaus@notmyhomepage.invalid> writes:

> (It also states "because of the classified nature of much Ada
> programming, these units had been wiped"... triggers a knee-jerk
> reaction)

The R1000 at the Danish computing museum was used by a defense
contractor, so it makes sense that they wiped the machine.  It would of
course have been nice, if they had kept an installation media for later
users of the machine, but how many of us think that far?

Greetings,

Jacob
-- 
Who guards the guardians?