comp.lang.ada
 help / color / mirror / Atom feed
From: arnold@gatech.UUCP (Arnold Robbins)
Subject: Re: Validated Ada on UNIX!
Date: Thu, 17-Jan-85 14:46:30 EST	[thread overview]
Date: Thu Jan 17 14:46:30 1985
Message-ID: <11681@gatech.UUCP> (raw)
In-Reply-To: 507@mako.UUCP

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

      reply	other threads:[~1985-01-17 19:46 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1985-01-10  0:23 Validated Ada on UNIX! Jan Steinman
1985-01-17 19:46 ` Arnold Robbins [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox