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, sup****ted 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
