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