comp.lang.ada
 help / color / mirror / Atom feed
From: mockturtle <framefritti@gmail.com>
Subject: Re: SPARK: What does it prove?
Date: Sat, 29 May 2010 12:02:13 -0700 (PDT)
Date: 2010-05-29T12:02:13-07:00	[thread overview]
Message-ID: <b7e59174-8a8c-490f-a216-38600ef02a6c@c7g2000vbc.googlegroups.com> (raw)
In-Reply-To: 5ae67ca0-91cf-46d1-9f4c-aa1ac442ee77@q39g2000prh.googlegroups.com

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...



  reply	other threads:[~2010-05-29 19:02 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-05-28 13:25 SPARK: What does it prove? Peter C. Chapin
2010-05-28 13:55 ` Rod Chapman
2010-05-28 15:58   ` Peter C. Chapin
2010-05-29 14:42   ` Marco
2010-05-29 19:02     ` mockturtle [this message]
2010-05-30  1:06       ` BrianG
2010-05-30 13:06 ` Yannick Duchêne (Hibou57)
2010-05-31  1:17 ` Yannick Duchêne (Hibou57)
2010-05-31  1:21   ` Yannick Duchêne (Hibou57)
2010-05-31 13:05   ` Phil Thornley
2010-05-31 23:36 ` Jeffrey R. Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox