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-02 07:30:28 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!fr.usenet-edu.net!usenet-edu.net!proxad.net!feeder2-1.proxad.net!nnrp6.proxad.net.POSTED!not-for-mail From: "nicolas" Newsgroups: comp.lang.ada References: <1Zu77.187$EF5.315498@nnrp1.proxad.net> <9jp5eo$e2b$2@a1-hrz.uni-duisburg.de> <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> <3B6636BA.96FD8348@home.com> <9k6aug$mtq$1@nh.pace.co.uk> <9kb7s9$hr3$1@a1-hrz.uni-duisburg.de> <9kbkll$m73$1@nh.pace.co.uk> 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: <8uda7.3152$6n3.4285485@nnrp6.proxad.net> Date: Thu, 02 Aug 2001 14:30:28 GMT NNTP-Posting-Host: 195.101.131.241 X-Complaints-To: abuse@proxad.net X-Trace: nnrp6.proxad.net 996762628 195.101.131.241 (Thu, 02 Aug 2001 16:30:28 CEST) NNTP-Posting-Date: Thu, 02 Aug 2001 16:30:28 CEST Organization: Guest of ProXad - France Xref: archiver1.google.com comp.lang.ada:11083 Date: 2001-08-02T14:30:28+00:00 List-Id: Sorry if this was a mistake. I just remembered the message and thought it was from you. I cannot find it now, I must have read it about 2 or 3 weeks ago. Didn't you (or somebody else on c.l.a) made a post about that ? It said that most software users put the CD in. Expect an autostart, a standard installation procedure, and standard menu with expected functions. And don't look any further if this is not the case. "Marin David Condic" a �crit dans le message news: 9kbkll$m73$1@nh.pace.co.uk... > Just for the record, this is not me. The cut you did with my name in it must > have come from an earlier message. > > MDC > --