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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c71453a1d79f18ef
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-10 20:13:16 PST
Path: bga.com!news.sprintlink.net!ionews.ionet.net!news
From: kkrieser@ionet.net
Newsgroups: comp.lang.ada
Subject: Re: ada compiler for os/2
Date: 11 Mar 1995 03:58:44 GMT
Organization: Internet Oklahoma
Message-ID: <3jr75k$b4f@ionews.ionet.net>
References: <3jj8cqINNoho@edna.cc.swin.edu.au>
 <3jjcpc$7j@goanna.cs.rmit.edu.au> <3jlu96INN24f@edna.cc.swin.edu.au>
Reply-To: kkrieser@ionet.net
NNTP-Posting-Host: lsip01.ionet.net
X-Newsreader: IBM NewsReader/2 v1.09
Date: 1995-03-11T03:58:44+00:00
List-Id: <comp.lang.ada>

In <3jlu96INN24f@edna.cc.swin.edu.au>, 930385@edna.cc.swin.edu.au (Paul Shin-Hou Yeoh) writes:
>: Gnat Ada for OS/2 is one of the supported platforms, and implements
>: all of Ada83, and most of Ada95. It is available for free under the
>
>
>is Gnat Ada and Gnu Ada validated Ada compilers?
>They would be pretty useless if they are not.
They are not currently validated, and the gnatdoc1.tex file distributed with the release
states that New York university will not have it validated.  I suspect because of the 
expense involved, especially for a product that they don't sell.

At this point, it is not validatable, since it isn't even feature complete.

-----------------------------------------
--  Kevin Krieser
--  Using OS/2 Warp
--  New Address:  kkrieser@ionet.net,
--  or kkrieser@bix.com