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-03 07:54:08 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!news.netcologne.de!RRZ.Uni-Koeln.DE!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Proving Correctness (was Java Portability)
Date: Fri, 3 Aug 2001 14:54:07 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <9keduf$qvc$1@a1-hrz.uni-duisburg.de>
References: <mailman.995648003.8404.comp.lang.ada@ada.eu.org>
   <9jrdl3$mh2$1@a1-hrz.uni-duisburg.de>
 <%hb87.917$%w2.3730577@nnrp3.proxad.net> <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>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 996850447 27628 134.91.4.34 (3 Aug 2001
 14:54:07 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Fri, 3 Aug 2001 14:54:07 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:11224
Date: 2001-08-03T14:54:07+00:00
List-Id: <comp.lang.ada>

Marin David Condic <marin.condic.auntie.spam@pacemicro.com> wrote:
 
:  (Do most people *really* want to spend time
: fooling with registry entries, paths, file locations, compile/install
: scripts, etc? Or would they rather just plug the disk in, say "Install" and
: get started playing with the product? It leaves more time for sitting on the
: beach, sucking down a Pina Colada and getting a suntan. :-)

I guess most people will agree that most people are or become
sane enough to avoid system configuration as much as possible.
(Having come back home from Bretagne, and missing the delicious
combination of sun, wind, and the see, and more, I do certainly
agree. :-) 

Only, this cannot be used to claim that there are no libraries for
Ada, or there is no equivalent to SUN class libraries, as Nicolas
has done (as far as I have understood his earlier postings.)
It's just not as convenient to use them as the use of a select set
of libraries coming with some Visual compilers.