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.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b370407861a190ec,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1993-03-03 23:21:23 PST
Path: 
 sparky!uunet!pmafire!news.dell.com!natinst.com!cs.utexas.edu!wupost!howland.reston.ans.net!gatech!rpi!batcomputer!munnari.oz.au!yoyo.aarnet.edu.au!news.adelaide.edu.au!spam!hehir
From: hehir@spam.maths.adelaide.edu.au (Catherine Hehir)
Newsgroups: comp.lang.ada
Subject: Validated Ada compilers
Message-ID: <2275@spam.maths.adelaide.edu.au>
Date: 4 Mar 93 01:12:19 GMT
Sender: hehir@spam.maths.adelaide.edu.au
Distribution: world
Organization: Statistics, Pure & Applied Mathematics, University of Adelaide
Date: 1993-03-04T01:12:19+00:00
List-Id: <comp.lang.ada>

We are currently trying to establish the availability of validated Ada
compiler/linker/locators for Intel and Zilog architectures, namely the
Intel 80188 and the Zilog Z80.  The requirement is for validated compilers,
pre-validated compilers cannot be used.

Please send responses to hehir@spam.maths.adelaide.edu.au (Catherine Hehir)