From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: SPARK Book Upgrade packages now avaiable
Date: 17 Oct 2003 11:01:37 -0700
Date: 2003-10-17T11:01:37-07:00 [thread overview]
Message-ID: <cf2c6063.0310171001.cc69ef0@posting.google.com> (raw)
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
reply other threads:[~2003-10-17 18:01 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