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,e38ae8beee499c53,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-17 11:01:38 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 Book Upgrade packages now avaiable
Date: 17 Oct 2003 11:01:37 -0700
Organization: http://groups.google.com
Message-ID: <cf2c6063.0310171001.cc69ef0@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 1066413698 25192 127.0.0.1 (17 Oct 2003 18:01:38
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 17 Oct 2003 18:01:38 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:1092
Date: 2003-10-17T11:01:37-07:00
List-Id: <comp.lang.ada>

I'm pleased to say that upgrade packages for the "SPARK Book"
are now available from www.sparkada.com for both Windows and
GNU/Linux.

These bring the "Free Demo" SPARK toolset up to release 7.0, and also
include a complete new set of documentation describing the latest
release of SPARK, the RavenSPARK language extensions, and all
the new tools.

Two RavenSPARK example programs are included (a Stopwatch controller,
and the ubiquitous Minepump controller...)

These packages are large (over 5 Megabytes each), so please be
patient if our server seems temporarily overloaded.

Yours,
 SPARK Team, Praxis Critical Systems