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:30:46 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!wanadoo.fr!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: <qSxb7.6335$3h7.5575697@nnrp6.proxad.net>
Date: Mon, 06 Aug 2001 14:30:46 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp6.proxad.net 997108246 195.101.131.241 (Mon,
 06 Aug 2001 16:30:46 CEST)
NNTP-Posting-Date: Mon, 06 Aug 2001 16:30:46 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11360
Date: 2001-08-06T14:30:46+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 !!!

At least if it makes you laugh ... not everything is bad ... :-)

> I agree that Ada is changing slowly compared to Java, but it stays under
> control and well designed. I don't think you can play on both sides.

DOS too stays under control, and by the way doesn't change any more ...
Couldn't change any slower :-)
Do you want Ada to end like that ?

> Maybe all Ada vendors should put some money on some sort of organization
to
> have the Ada libraries updated using standard Ada without vendor-specific
> additions. This would benefit the whole Ada community. Does such an
> organization exist ?

May be they should ?
Guess what : Yes I think so ...
That's what we were talking about in case you didn't notice ...
I'm not an Ada vendor, ACT is, Aonix is, Rational is.
Don't count on us to do compilers vendors job ...
When you buy a TV set, the vendor doesn't ask you to build the factory ...