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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,dce17094f2aeee50
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-08-14 03:25:44 PST
Path: 
 archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail
From: rod@praxis-cs.co.uk (Rod Chapman)
Newsgroups: comp.lang.ada
Subject: Re: SPARK
Date: 14 Aug 2001 03:25:44 -0700
Organization: http://groups.google.com/
Message-ID: <ba18d5cb.0108140225.2c3b50db@posting.google.com>
References: <UUzb7.42923$uj2.7462172@news02.optonline.net>
 <3B6FA8B9.5842ADCA@praxis-cs.co.uk> <9la53h$k62$1@beta.szi.fh-jena.de>
NNTP-Posting-Host: 193.114.91.187
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 997784744 3934 127.0.0.1 (14 Aug 2001 10:25:44
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 14 Aug 2001 10:25:44 GMT
Xref: archiver1.google.com comp.lang.ada:11902
Date: 2001-08-14T10:25:44+00:00
List-Id: <comp.lang.ada>

Prof Karl Kleine <kleine@fh-jena.de> wrote in message news:<9la53h$k62$1@beta.szi.fh-jena.de>...
> Peter, I just checked the 'SPARK Book' entry on the www.sparkada.com site
> and there is an offer of an update of the demo software on the CDROM, but
> it does not say anything about the update of the book itself. Yes, I do
> own a private copy (of course, being a serious person :-).
> 
> Two questions:
> 
>  -- Is there an update paper for the book itself, or something to this effect?

Your best bet is to read the Examiner release 5 release note which is
on www.sparkada.com under "Downloads".

By request, we will also send anyone the full SPARK definition.  This
is less easy to read than the book, though (i.e. it's written
in "LRM-speak" rather than "Barnes-speak").

>  -- How do I recognize the updated book? New isbn? "second edition" in title? 

Strictly speaking, it is a second _printing_ (with updates) of the
first edition.  It has "Reprinted with revisions 2000" on the
copyright page,
and the CDROM in the back is labelled "Release 2.00 August 2000"

ISBN is the same.

Hope that helps,
 Rod Chapman
 SPARK Products Manager,
 Praxis Critical Systems
 rod@praxis-cs.co.uk