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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,494ac732c5488b7f
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!c7g2000vbc.googlegroups.com!not-for-mail
From: mockturtle <framefritti@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK: What does it prove?
Date: Sat, 29 May 2010 12:02:13 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <b7e59174-8a8c-490f-a216-38600ef02a6c@c7g2000vbc.googlegroups.com>
References: <4bffc379$0$2374$4d3efbfe@news.sover.net>
 <80ef9ed5-fd1b-4f41-8df9-b74b690444be@y21g2000vba.googlegroups.com>
	<5ae67ca0-91cf-46d1-9f4c-aa1ac442ee77@q39g2000prh.googlegroups.com>
NNTP-Posting-Host: 93.37.243.142
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1275159733 25495 127.0.0.1 (29 May 2010 19:02:13
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 29 May 2010 19:02:13 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: c7g2000vbc.googlegroups.com; posting-host=93.37.243.142;
	posting-account=9fwclgkAAAD6oQ5usUYhee1l39geVY99
User-Agent: G2/1.0
X-HTTP-UserAgent: Opera/9.80 (X11; Linux i686; U; en) Presto/2.2.15
	Version/10.10,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:12149
Date: 2010-05-29T12:02:13-07:00
List-Id: <comp.lang.ada>

On May 29, 4:42=A0pm, Marco <prenom_no...@yahoo.com> wrote:
> On May 28, 6:55=A0am, Rod Chapman <roderick.chap...@googlemail.com>
> wrote:
>
>
>
> > PS...if the SPARK traffic here really does get annoyingly high,
> > then perhaps we should create comp.lang.ada.spark?
>
> =A0No - I enjoy the SPARK threads even though I am not using it (yet).
> =A0Traffic volume on this group is light and respectful.

+1 Marco just took the words out of my mouth (err.. keyboard? :-)
"yet" included...