From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: SPARK Toolset release 7.0
Date: 17 Oct 2003 05:53:31 -0700
Date: 2003-10-17T05:53:31-07:00 [thread overview]
Message-ID: <cf2c6063.0310170453.32d1ccc4@posting.google.com> (raw)
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
reply other threads:[~2003-10-17 12:53 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox