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=0.4 required=5.0 tests=AC_FROM_MANY_DOTS,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 08:57:39 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!psinet-eu-nl!psiuk-p4!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) Date: Thu, 2 Aug 2001 11:49:33 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <9kbsqe$p9m$1@nh.pace.co.uk> 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> <8uda7.3152$6n3.4285485@nnrp6.proxad.net> NNTP-Posting-Host: 136.170.200.133 X-Trace: nh.pace.co.uk 996767374 25910 136.170.200.133 (2 Aug 2001 15:49:34 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 2 Aug 2001 15:49:34 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:11094 Date: 2001-08-02T15:49:34+00:00 List-Id: No, that *was* me. I was referring to the post as displayed after my sig. I believe I was improperly quoted by Georg Bauhaus - the actual text, I believe was yours. I wasn't necessarily disagreeing - just that I didn't want to have remarks attributed to me that were someone else's. One of those easily committed errors in newsgroup postings :-) MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/ "nicolas" wrote in message news:8uda7.3152$6n3.4285485@nnrp6.proxad.net... > 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 > > -- > > >