comp.lang.ada
 help / color / mirror / Atom feed
* ANN: SPARK Book Upgrade packages now avaiable
@ 2003-10-17 18:01 Rod Chapman
  0 siblings, 0 replies; only message in thread
From: Rod Chapman @ 2003-10-17 18:01 UTC (permalink / 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



^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2003-10-17 18:01 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-17 18:01 ANN: SPARK Book Upgrade packages now avaiable Rod Chapman

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox