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,f392356eeb44466d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.75.170 with SMTP id d10mr217504pbw.6.1326296405431;
        Wed, 11 Jan 2012 07:40:05 -0800 (PST)
MIME-Version: 1.0
Path: 
 lh20ni167752pbb.0!nntp.google.com!news1.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: usenet@postinghost.com
Newsgroups: comp.lang.ada
Subject: Re: SofCheck merged with AdaCore
Date: Wed, 11 Jan 2012 15:40:00 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <slrnjgrbaj.2sa.localhost@example.org>
References: <4f0c4d68$0$6633$9b4e6d93@newsspool2.arcor-online.net>
NNTP-Posting-Host: LvTXUzu20qoVoLqCjlacbw.user.speranza.aioe.org
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
Date: 2012-01-11T15:40:00+00:00
List-Id: <comp.lang.ada>

On 2012-01-10, Georg Bauhaus <rm.dash-bauhaus@futureapps.de> wrote:
> Turning co-operation into a single operation, AdaCore and SofCheck,
> maker of AdaMagic, static analyis tools, and the ParaSail language
> merge to become AdaCore.

Thanks for the news. AdaCore is not my favorite company although they sure
have some top people, even more so now. A little scary having all the Ada
gurus in one company that forces GPL on everybody that can't afford 20
thousand bucks or whatever it costs for an entry into the game.