comp.lang.ada
 help / color / mirror / Atom feed
From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: SPARK Pro Launched
Date: 27 Mar 2009 10:49:52 GMT
Date: 2009-03-27T10:49:52+00:00	[thread overview]
Message-ID: <Xns9BDB457C87EA9pcc482719gmailcom@198.186.192.137> (raw)
In-Reply-To: e012ff09-1d6e-42ce-ac77-ce4c3364da3f@z15g2000yqm.googlegroups.com

roderick.chapman@googlemail.com wrote in news:e012ff09-1d6e-42ce-ac77-
ce4c3364da3f@z15g2000yqm.googlegroups.com:

> See
>  http://www.adacore.com/2009/03/24/spark-pro/
> and
>  http://www.adacore.com/home/products/sparkpro/
> 
> GPL and GAP releases will follow in due
> course.

This sounds great. I will definitely pass this information on to my student 
who is working with SPARK.

Peter



      reply	other threads:[~2009-03-27 10:49 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-03-26  9:28 SPARK Pro Launched roderick.chapman
2009-03-27 10:49 ` Peter C. Chapin [this message]
replies disabled

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