ANN: SPARK Toolset 7.6 now available

This is a discussion on ANN: SPARK Toolset 7.6 now available within the ADA forums in Programming Languages category; 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/p...tions_tech.asp Yours, The SPARK Team, Praxis...