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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,be23df8e7e275d73
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-06 17:15:26 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!193.251.151.101!opentransit.net!wanadoo.fr!not-for-mail
From: Pascal Obry <p.obry@wanadoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: 07 Aug 2001 02:14:31 +0200
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID: <uzo9cu3o8.fsf@wanadoo.fr>
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>
 <qSxb7.6335$3h7.5575697@nnrp6.proxad.net> <uelqpgmrx.fsf@gsfc.nasa.gov>
NNTP-Posting-Host: mix-velizy-106-3-167.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: wanadoo.fr 997143325 29753 193.249.122.167 (7 Aug 2001 00:15:25 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 7 Aug 2001 00:15:25 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.104
Xref: archiver1.google.com comp.lang.ada:11430
Date: 2001-08-07T00:15:25+00:00
List-Id: <comp.lang.ada>


Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:

> "nicolas" <n.brunot@cadwin.com> writes:
> 
> > I'm not an Ada vendor, ACT is, Aonix is, Rational is.
> > Don't count on us to do compilers vendors job ...
> 
> No, but we do count on you to pay them to do it.

Well said. Either way, Nicolas, you just can't get something for free. You
should either comit some time or money.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--|
--| "The best way to travel is by means of imagination"