From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,cc278ff3aa89cbbc,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!r66g2000hsg.googlegroups.com!not-for-mail
From: roderick.chapman@googlemail.com
Newsgroups: comp.lang.ada
Subject: ANN: SPARK Toolset 7.6 now available
Date: Wed, 23 Jul 2008 08:12:33 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <5317c000-f1bc-4f52-abca-5d616b6d0522@r66g2000hsg.googlegroups.com>
NNTP-Posting-Host: 217.205.167.137
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1216825953 10070 127.0.0.1 (23 Jul 2008 15:12:33
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 23 Jul 2008 15:12:33 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: r66g2000hsg.googlegroups.com; posting-host=217.205.167.137;
	posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.8.1.16)
	Gecko/20080702 Firefox/2.0.0.16,gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.1 bloxx:3128 (squid/2.5.STABLE11)
Xref: g2news1.google.com comp.lang.ada:1290
Date: 2008-07-23T08:12:33-07:00
List-Id: <comp.lang.ada>

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