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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.182.227.131 with SMTP id sa3mr17324875obc.38.1399298235166; Mon, 05 May 2014 06:57:15 -0700 (PDT) X-Received: by 10.140.96.41 with SMTP id j38mr45230qge.8.1399298235102; Mon, 05 May 2014 06:57:15 -0700 (PDT) Path: border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!r10no848633igi.0!news-out.google.com!dz10ni30394qab.1!nntp.google.com!hw13no477249qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 5 May 2014 06:57:14 -0700 (PDT) In-Reply-To: <2c400962-3a09-4da2-9f56-b4f1986b80f8@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=50.76.13.70; posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi NNTP-Posting-Host: 50.76.13.70 References: <2c400962-3a09-4da2-9f56-b4f1986b80f8@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <5952c4ee-89a0-4d5e-9416-8bb0841ae3d0@googlegroups.com> Subject: Re: I'm a noob here. From: roderick.chapman@googlemail.com Injection-Date: Mon, 05 May 2014 13:57:15 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Original-Bytes: 1284 Xref: number.nntp.dca.giganews.com comp.lang.ada:186238 Date: 2014-05-05T06:57:14-07:00 List-Id: I suggest you drop a note to sales@adacore.com and we'll have a proper chance to explain the goals of SPARK. Rod Chapman, SPARK Team, Altran UK