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.7 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,f392356eeb44466d X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.196.130 with SMTP id im2mr1273461pbc.3.1326314790332; Wed, 11 Jan 2012 12:46:30 -0800 (PST) Path: lh20ni169235pbb.0!nntp.google.com!news2.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail From: Tucker Taft Newsgroups: comp.lang.ada Subject: Re: SofCheck merged with AdaCore Date: Wed, 11 Jan 2012 12:36:09 -0800 (PST) Organization: http://groups.google.com Message-ID: <21737076.1642.1326314169184.JavaMail.geo-discussion-forums@vbil20> References: <4f0c4d68$0$6633$9b4e6d93@newsspool2.arcor-online.net> Reply-To: comp.lang.ada@googlegroups.com NNTP-Posting-Host: 71.184.154.216 Mime-Version: 1.0 X-Trace: posting.google.com 1326314587 28108 127.0.0.1 (11 Jan 2012 20:43:07 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 11 Jan 2012 20:43:07 +0000 (UTC) In-Reply-To: <4f0c4d68$0$6633$9b4e6d93@newsspool2.arcor-online.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=71.184.154.216; posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N User-Agent: G2/1.0 X-Google-Web-Client: true Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-01-11T12:36:09-08:00 List-Id: No need to spread any FUD. We will continue to support the AdaMagic front end, in much the same way we have supported it for the past 15 years. AdaCore has every reason to keep the Ada tool vendor community vibrant. -Tucker Taft