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.6 required=5.0 tests=BAYES_05,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site gatech.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!gatech!arnold
From: arnold@gatech.UUCP (Arnold Robbins)
Newsgroups: net.lang.ada
Subject: Re: Validated Ada on UNIX!
Message-ID: <11681@gatech.UUCP>
Date: Thu, 17-Jan-85 14:46:30 EST
Article-I.D.: gatech.11681
Posted: Thu Jan 17 14:46:30 1985
Date-Received: Fri, 18-Jan-85 10:15:33 EST
References: <507@mako.UUCP>
Organization: Firefighters Extraordinaire, Inc.
List-Id: <comp.lang.ada>

> Verdix's compiler generates code on DEC VAX hardware running AT&T Co.'s UNIX
> operating system.... "
> -- 
> :::::: Jan Steinman		Box 1000, MS 61-161	(w)503/685-2843 ::::::
> :::::: tektronix!tekecs!jans	Wilsonville, OR 97070	(h)503/657-7703 ::::::

I hope this hasn't been posted already, but I want to clarify that the Verdix
compiler is for 4.2 BSD, not System V.  Admittedly, Unix is still ATT's,
but you can't buy 4.2 from them...
-- 
Arnold Robbins
CSNET:	arnold@gatech	ARPA:	arnold%gatech.csnet@csnet-relay.arpa
UUCP:	{ akgua, allegra, hplabs, ihnp4, seismo, ut-sally }!gatech!arnold

Help advance the state of Computer Science: Nuke a PR1ME today!