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=-1.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-06 07:43:35 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!proxad.net!feeder2-1.proxad.net!nnrp6.proxad.net.POSTED!not-for-mail
From: "nicolas" <n.brunot@cadwin.com>
Newsgroups: comp.lang.ada
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
 <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com>
 <DF897.3617$ee.3921026@nnrp5.proxad.net> <3B6636BA.96FD8348@home.com>
 <TLt97.9335$Xa.790630@nnrp4.proxad.net> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de>
 <yy9a7.3017$ss3.4363386@nnrp6.proxad.net>
 <9kchn1$lng$1@a1-hrz.uni-duisburg.de>
 <R1ta7.4077$ke.4769807@nnrp6.proxad.net> <9kea9a$lsc$1@nh.pace.co.uk>
 <9keduf$qvc$1@a1-hrz.uni-duisburg.de>
 <Reza7.18403$px7.4304991@nnrp1.proxad.net>
 <9kelv1$riq$1@a1-hrz.uni-duisburg.de>
 <dVsb7.5035$2i4.5346431@nnrp6.proxad.net> <9klokd0nif@drn.newsguy.com>
 <gkvb7.6275$R8.5682297@nnrp6.proxad.net> <uhevluxrf.fsf@wanadoo.fr>
Subject: Re: Proving Correctness (was Java Portability)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2919.6700
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700
Message-ID: <q2yb7.6341$6L.5741656@nnrp6.proxad.net>
Date: Mon, 06 Aug 2001 14:43:34 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp6.proxad.net 997109014 195.101.131.241 (Mon,
 06 Aug 2001 16:43:34 CEST)
NNTP-Posting-Date: Mon, 06 Aug 2001 16:43:34 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11366
Date: 2001-08-06T14:43:34+00:00
List-Id: <comp.lang.ada>

"Pascal Obry" <p.obry@wanadoo.fr> a �crit dans le message news:
uhevluxrf.fsf@wanadoo.fr...
> This is too much fun guys !!!
> As you said SUN add Java libraries. But ACT add GNAT libraries too right ?

Hum ... are you comparing SUN and ACT, is it what you have fun about ?

> The big difference is that "Java == SUN" but Ada is a standard and of
course
> ACT is not driving the changes, nor Aonix, nor Rational...

The real big difference is that the young Java is widely used and evolving
with user's needs, and the old Ada is not especially widely used, and
doesn't evolve a lot ...

> Now, you should submit library additions to the ARG to have a chance to
see
> them added in next revision.

That's not my job ... That's compiler vendors job ...