comp.lang.ada
 help / color / mirror / Atom feed
* ANN: SPARK Toolset 7.6 now available
@ 2008-07-23 15:12 roderick.chapman
  0 siblings, 0 replies; only message in thread
From: roderick.chapman @ 2008-07-23 15:12 UTC (permalink / raw)


Praxis are pleased to announce the immediate availability of release
7.6 of the SPARK language and toolset.

Full details, including the toolset release note, are available from
www.sparkada.com as usual.

Professional, supported customers will receive upgrades soon.

Upgrade packages for for readers of the SPARK Textbook are also
available by download
from http://www.praxis-his.com/sparkada/sparkbook.asp

More details of the changes in this release are summarized here:
 http://www.praxis-his.com/sparkada/release7p6.asp
or in the Toolset Release note available from
 http://www.praxis-his.com/sparkada/publications_tech.asp

Yours,
  The SPARK Team, Praxis



^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2008-07-23 15:12 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-07-23 15:12 ANN: SPARK Toolset 7.6 now available roderick.chapman

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