From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d7889c176d41997a,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!z14g2000cwz.googlegroups.com!not-for-mail
From: "Rod Chapman" <rod.chapman@praxis-his.com>
Newsgroups: comp.lang.ada
Subject: ANN: SPARK for Apple OS X now available
Date: 15 Feb 2006 07:55:04 -0800
Organization: http://groups.google.com
Message-ID: <1140018904.117344.47200@z14g2000cwz.googlegroups.com>
NNTP-Posting-Host: 217.205.167.130
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1140018909 27047 127.0.0.1 (15 Feb 2006 15:55:09
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 15 Feb 2006 15:55:09 +0000 (UTC)
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.7.8) Gecko/20050511 Firefox/1.0.4,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: z14g2000cwz.googlegroups.com; posting-host=217.205.167.130;
   posting-account=EhC47gwAAABJYiJ7JUJjwDyYMTWH1OKq
Xref: g2news1.google.com comp.lang.ada:2908
Date: 2006-02-15T07:55:04-08:00
List-Id: <comp.lang.ada>

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