From: "Rod Chapman" <rod.chapman@praxis-his.com>
Subject: ANN: SPARK for Apple OS X now available
Date: 15 Feb 2006 07:55:04 -0800
Date: 2006-02-15T07:55:04-08:00 [thread overview]
Message-ID: <1140018904.117344.47200@z14g2000cwz.googlegroups.com> (raw)
I'm pleased to announce that the "book" edition of the SPARK Toolset is
now available for Apple Mac OS X.
This release is functionally identical to the release 7.3 already
available for Windows and GNU/Linux.
This release includes the demonstration versions of the SPARK Examiner,
Simplifier, POGS, SPARKFormat and SPARKMake tools, RavenSPARK examples,
and full documentation. We still recommend that you read the SPARK book
though!
This release has been compiled and tested on PowerPC/OS X 10.4.4 only
at this stage. We haven't tried it on any Intel-based Mac. If anyone
out there
has an Intel-based Mac, then we'd be fascinated to hear if the SPARK
tools
run under Rosetta or not...
Downloads from http://www.praxis-his.com/sparkada/sparkbook.asp
Yours,
Rod Chapman and SPARK Team, Praxis High Integrity Systems
sparkinfo@praxis-his.com
reply other threads:[~2006-02-15 15:55 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