comp.lang.ada
 help / color / mirror / Atom feed
From: roderick.chapman@googlemail.com
Subject: SPARK Pro Launched
Date: Thu, 26 Mar 2009 02:28:06 -0700 (PDT)
Date: 2009-03-26T02:28:06-07:00	[thread overview]
Message-ID: <e012ff09-1d6e-42ce-ac77-ce4c3364da3f@z15g2000yqm.googlegroups.com> (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



             reply	other threads:[~2009-03-26  9:28 UTC|newest]

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

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