From: roderick.chapman@googlemail.com
Subject: ANN: SPARK Toolset 7.6 now available
Date: Wed, 23 Jul 2008 08:12:33 -0700 (PDT)
Date: 2008-07-23T08:12:33-07:00 [thread overview]
Message-ID: <5317c000-f1bc-4f52-abca-5d616b6d0522@r66g2000hsg.googlegroups.com> (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
reply other threads:[~2008-07-23 15:12 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox