* 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