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.
Lines: 15

> 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!