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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7f7a784a3acdcefc,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-17 05:53:32 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Newsgroups: comp.lang.ada
Subject: ANN: SPARK Toolset release 7.0
Date: 17 Oct 2003 05:53:31 -0700
Organization: http://groups.google.com
Message-ID: <cf2c6063.0310170453.32d1ccc4@posting.google.com>
NNTP-Posting-Host: 62.173.119.178
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1066395212 9831 127.0.0.1 (17 Oct 2003 12:53:32
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 17 Oct 2003 12:53:32 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:1071
Date: 2003-10-17T05:53:31-07:00
List-Id: <comp.lang.ada>

We're pleased to announce the immediate availability of Release 7.0
of the SPARK Toolset.  Most importantly, release 7.0 supports the
RavenSPARK tasking extensions to SPARK.

The toolset release note and a press release are
available at www.sparkada.com as usual.

Supported customers, academic users and tool partners should
have all received their upgrade packages by now.

An upgrade package for buyers of John Barnes' SPARK Book will
be available soon.

 - Rod Chapman, SPARK Team, Praxis Critical Systems