From: kkrieser@ionet.net
Subject: Re: ada compiler for os/2
Date: 11 Mar 1995 03:58:44 GMT
Date: 1995-03-11T03:58:44+00:00 [thread overview]
Message-ID: <3jr75k$b4f@ionews.ionet.net> (raw)
In-Reply-To: 3jlu96INN24f@edna.cc.swin.edu.au
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
next prev parent reply other threads:[~1995-03-11 3:58 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-08 3:30 ada compiler for os/2 Paul Shin-Hou Yeoh
1995-03-08 4:45 ` Dale Stanbrough
1995-03-09 3:56 ` Paul Shin-Hou Yeoh
1995-03-09 13:23 ` David Weller
1995-03-10 16:18 ` Robert Dewar
1995-03-11 3:58 ` kkrieser [this message]
1995-03-10 3:55 ` Dale Stanbrough
1995-03-08 15:50 ` David Weller
1995-03-08 17:14 ` Ariel Lieberman
-- strict thread matches above, loose matches on Subject: below --
1995-03-10 15:48 CONDIC
1995-03-09 4:26 tmoran
1995-03-09 10:23 ` John Howard
1995-03-09 13:26 ` David Weller
1995-03-12 11:11 ` Spotty Dog
1995-03-12 16:07 ` Tore Joergensen
1995-03-12 17:44 ` Chris O'Regan
1995-03-19 0:51 ` Robert Dewar
1995-03-10 14:26 ` Robert Dewar
1994-09-15 3:39 ADA compiler for OS/2 Chai Boon Ping
1994-09-16 17:55 ` spelegan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox