* ANN: SPARK Toolset release 7.0
@ 2003-10-17 12:53 Rod Chapman
0 siblings, 0 replies; only message in thread
From: Rod Chapman @ 2003-10-17 12:53 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2003-10-17 12:53 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-17 12:53 ANN: SPARK Toolset release 7.0 Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox