SPARK Pro Launched

comp.lang.ada
 help / color / mirror / Atom feed

* SPARK Pro Launched
@ 2009-03-26  9:28 roderick.chapman
  2009-03-27 10:49 ` Peter C. Chapin
  0 siblings, 1 reply; 2+ messages in thread
From: roderick.chapman @ 2009-03-26  9:28 UTC (permalink / raw)


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.

 - Rod Chapman, SPARK Team, Praxis



^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: SPARK Pro Launched
  2009-03-26  9:28 SPARK Pro Launched roderick.chapman
@ 2009-03-27 10:49 ` Peter C. Chapin
  0 siblings, 0 replies; 2+ messages in thread
From: Peter C. Chapin @ 2009-03-27 10:49 UTC (permalink / raw)


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



^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2009-03-27 10:49 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-03-26  9:28 SPARK Pro Launched roderick.chapman
2009-03-27 10:49 ` Peter C. Chapin

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