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
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!rochester!cornell!uw-beaver!mit-eddie!mintaka!olivea!samsung!sdd.hp.com!decwrl!ucbvax!ADAWC.WPAFB.AF.MIL!STRIPET
From: STRIPET@ADAWC.WPAFB.AF.MIL ("Thomas H. Stripe  255-4472", 513)
Newsgroups: comp.lang.ada
Subject: Validated Ada Compiler List
Message-ID: <9011091326.AA20208@ajpo.sei.cmu.edu>
Date: 9 Nov 90 12:23:00 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>


>> Would someone give a few examples of Ada compilers that have been
>> DOD certified for the IBM PC?  I know there is Integrada by
>> Aetech, but that's the limit of my experience.  How does it
>> stack up against the others?

>> Thank you for the help.  I will be happy to summarize if there is
>> interest.

Bev,

	There exist a list of validated Ada compilers from the AJPO 
(AJPO.SEI.CMU.EDU) machine. This is available through anonymous ftp in
the subdirectory public/ada-info. The file is VAL-COMP.HLP.
This list contains all compilers that have been certified by an AVF.

For more information, call Michele Kee at the Ada Information Clearinghouse
at (703) 685-1477.

Thomas H. Stripe
Wright-Patterson AVF