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-7-bit
Path: 
 g2news2.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!eternal-september.org!.POSTED!not-for-mail
From: BrianG <briang000@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK: What does it prove?
Date: Sat, 29 May 2010 21:06:55 -0400
Organization: A noiseless patient Spider
Message-ID: <htsdm4$1lt$2@news.eternal-september.org>
References: <4bffc379$0$2374$4d3efbfe@news.sover.net>
 <80ef9ed5-fd1b-4f41-8df9-b74b690444be@y21g2000vba.googlegroups.com>
 	<5ae67ca0-91cf-46d1-9f4c-aa1ac442ee77@q39g2000prh.googlegroups.com>
 <b7e59174-8a8c-490f-a216-38600ef02a6c@c7g2000vbc.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 30 May 2010 01:06:13 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="8fh9upQM2sUsdhH8G2SnPA";
	logging-data="1725"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+d3IYpKk43MWpSC3DuqEIU"
User-Agent: Thunderbird 2.0.0.24 (X11/20100317)
In-Reply-To: 
 <b7e59174-8a8c-490f-a216-38600ef02a6c@c7g2000vbc.googlegroups.com>
Cancel-Lock: sha1:luPZasJALLHR6nx5nwxa1gtEGC8=
Xref: g2news2.google.com comp.lang.ada:12152
Date: 2010-05-29T21:06:55-04:00
List-Id: <comp.lang.ada>

mockturtle wrote:
> On May 29, 4:42 pm, Marco <prenom_no...@yahoo.com> wrote:
>> On May 28, 6:55 am, 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?
>>  No - I enjoy the SPARK threads even though I am not using it (yet).
>>  Traffic volume on this group is light and respectful.
> 
> +1 Marco just took the words out of my mouth (err.. keyboard? :-)
> "yet" included...
Ditto, on both counts.