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:37: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!nnrp4.proxad.net.POSTED!not-for-mail From: "nicolas" Newsgroups: comp.lang.ada References: <3B6636BA.96FD8348@home.com> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de> <9kchn1$lng$1@a1-hrz.uni-duisburg.de> <9kea9a$lsc$1@nh.pace.co.uk> <9keduf$qvc$1@a1-hrz.uni-duisburg.de> <9kelv1$riq$1@a1-hrz.uni-duisburg.de> <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: Date: Tue, 07 Aug 2001 12:37:34 GMT NNTP-Posting-Host: 195.101.131.241 X-Complaints-To: abuse@proxad.net X-Trace: nnrp4.proxad.net 997187854 195.101.131.241 (Tue, 07 Aug 2001 14:37:34 CEST) NNTP-Posting-Date: Tue, 07 Aug 2001 14:37:34 CEST Organization: Guest of ProXad - France Xref: archiver1.google.com comp.lang.ada:11493 Date: 2001-08-07T12:37:34+00:00 List-Id: "Georg Bauhaus" a �crit dans le message news: 9kolv7$t0m$1@a1-hrz.uni-duisburg.de... > Note: I'm not writing to convince you, Who else then :-) >Someone said fear-mongering, and I have to agree > ... Gosh why have I started this) It is often not so bad news not to please everybody :-) Especially when the someone concerned was replying without having understood and obvioulsy hardly read what it was about :-) Don't worry I'll stop here :-)