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 autolearn=no 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 08:50:14 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: Fri, 3 Aug 2001 11:27:57 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <9keftu$o13$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> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de> <9Organization: LJK Software NNTP-Posting-Host: 136.170.200.133 X-Trace: nh.pace.co.uk 996852478 24611 136.170.200.133 (3 Aug 2001 15:27:58 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 3 Aug 2001 15:27:58 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:11231 Date: 2001-08-03T15:27:58+00:00 List-Id: Well, I think that this is possible on just about any platform - it just means that the software vendor needs to do the work to make it as seamless as is possible. I've had apps install nicely on WinNT and pop up and run just fine and present me with an interface I could recognize & work with right from the start. I've also had apps that did the same on VMS with a command line interface. Its just a matter of taking the time to make it work properly and use whatever interface is customary on the platform of interest. 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/ "Larry Kilgallen" wrote in message news:pLczjM8J5xm3@eisner.encompasserve.org... > > I call those people "Macintosh users" :-) >