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=2.1 required=5.0 tests=BAYES_05,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!mnetor!uunet!lll-winken!lll-tis!ames!pasteur!ucbvax!GMUVAX.GMU.EDU!ecragg
From: ecragg@GMUVAX.GMU.EDU ("EDWARD CRAGG")
Newsgroups: comp.lang.ada
Subject: Inexpensive validated Ada system for VAX/VMS
Message-ID: <8805021549.AA15109@ajpo.sei.cmu.edu>
Date: 2 May 88 15:52:00 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: "EDWARD CRAGG" <ecragg@gmuvax.gmu.edu>
Organization: The Internet
List-Id: <comp.lang.ada>


   The Navy has announced the public release of the Ada Language System / Navy
for the VAX/VMS environment.   It includes a validated compiler for the VAX. I
have been using a beta test version of this system for my senior level Software
Engineering in Ada course this past semester.  While not as mature a product as
DEC Ada, it is a useable system, and the price is significantly less than DEC
requires.  For university use, the _basic package_ is all that is needed.
    There are a few quirks in the system which I would be willing to discuss
with any professor desiring to use it.  They relate to storage requirements and
intermixing of GETs and PUTs. 
   
   The actual text of the Navy announcement follows as a separate message.

-------------------------------------------------------------------------------
Edward E Cragg                Bitnet:   ECRAGG@GMUVAX
                              Internet: ECRAGG@GMUVAX.GMU.EDU

------