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-Thread: 103376,df1a7f1c3c3bc77e X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!out01a.usenetserver.com!news.usenetserver.com!in02.usenetserver.com!news.usenetserver.com!in03.usenetserver.com!news.usenetserver.com!newshub.sdsu.edu!newscon04.news.prodigy.net!prodigy.net!newsdst01.news.prodigy.net!prodigy.com!postmaster.news.prodigy.com!nlpi069.nbdc.sbc.com.POSTED!4988f22a!not-for-mail From: Newsgroups: comp.lang.ada References: <592dnbDWOqzXLqfbnZ2dnUVZ_h-vnZ2d@comcast.com> Subject: Re: An Ada Advice Inquiry X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.2180 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-RFC2646: Format=Flowed; Original Message-ID: NNTP-Posting-Host: 70.134.100.216 X-Complaints-To: abuse@prodigy.net X-Trace: nlpi069.nbdc.sbc.com 1178277389 ST000 70.134.100.216 (Fri, 04 May 2007 07:16:29 EDT) NNTP-Posting-Date: Fri, 04 May 2007 07:16:29 EDT Organization: AT&T http://yahoo.sbc.com X-UserInfo1: T[OQB\CEBZUWSSD[N[O@_WH@YR_B@EXLLBWLOOAFQATJUZ]CDVW[AKK[J\]^HVKHG^EWZHBLO^[\NH_AZFWGN^\DHNVMX_DHHX[FSQKBOTS@@BP^]C@RHS_AGDDC[AJM_T[GZNRNZAY]GNCPBDYKOLK^_CZFWPGHZIXW@C[AFKBBQS@E@DAZ]VDFUNTQQ]FN Date: Fri, 4 May 2007 04:16:40 -0800 Xref: g2news1.google.com comp.lang.ada:15510 Date: 2007-05-04T04:16:40-08:00 List-Id: Excellent! Also, I have begun to receive email about Ada projects from people who are using it. I will need to respect confidentiality, but it is helpful. Richard =================================== "Randy Brukardt" wrote in message news:f1eh8r$8o9$1@jacob-sparre.dk... > wrote in message > news:592dnbDWOqzXLqfbnZ2dnUVZ_h-vnZ2d@comcast.com... >> > The compiler publishers know who is buying their compilers, >> I don't know if it would be considered a compiler company, but Praxis >> seems to be actively developing new reliability tools with Ada, I presume >> for new developments, and they seem willing to be public. > > Speaking of Praxis, they just had an announcement on a new air traffic > control system (in the UK) that is programmed in Ada. You can find a link to > it on the news page at www.adaic.com (it's too late for me to go look it up > right now). > > Randy. > >