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-07 05:26:08 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!193.251.151.101!opentransit.net!proxad.net!feeder2-1.proxad.net!nnrp4.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>
   <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>
 <9kolv7$t0m$1@a1-hrz.uni-duisburg.de>
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: <z7Rb7.13403$na.2449455@nnrp4.proxad.net>
Date: Tue, 07 Aug 2001 12:26:07 GMT
NNTP-Posting-Host: 195.101.131.241
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp4.proxad.net 997187167 195.101.131.241 (Tue,
 07 Aug 2001 14:26:07 CEST)
NNTP-Posting-Date: Tue, 07 Aug 2001 14:26:07 CEST
Organization: Guest of ProXad - France
Xref: archiver1.google.com comp.lang.ada:11492
Date: 2001-08-07T12:26:07+00:00
List-Id: <comp.lang.ada>

"Georg Bauhaus" <sb463ba@l1-hrz.uni-duisburg.de> a �crit dans le message
news: 9kolv7$t0m$1@a1-hrz.uni-duisburg.de...
> You know what? I'm happy in my niche when it allows
> me to live, and all I care (a bit) is that this niche isn't
> shrinking too much.

That has nothing to do with Ada users concerns about seeing Ada language
promoted and more widely used.
If your objective is to stay in your niche, which is perfectly
understandable, I don't understand why you try to argue with people having
totally different concerns.
You are not concerned ...