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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,27d18afb7e198c7f X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!newsfeed1.uni2.dk!news.get2net.dk.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada Subject: Re: SlashDot reviews the SPARK book References: From: Mark Lorenzen Message-ID: User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) Cancel-Lock: sha1:Xy+58DJ4Gkv6ngsdaHv27sB6qek= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Wed, 19 May 2004 22:39:32 +0200 NNTP-Posting-Host: 82.180.17.211 X-Complaints-To: abuse@colt-telecom.dk X-Trace: news.get2net.dk 1084999161 82.180.17.211 (Wed, 19 May 2004 22:39:21 CEST) NNTP-Posting-Date: Wed, 19 May 2004 22:39:21 CEST Organization: Colt Telecom Kunde Xref: controlnews3.google.com comp.lang.ada:694 Date: 2004-05-19T22:39:32+02:00 List-Id: rod.chapman@praxis-cs.co.uk (Rod Chapman) writes: > ...subject line says it all. This is actually Jack > Ganssle's review of the book, which was noted on c.l.a > back in December. Still...no such thing as bad publicity! :-) > All the best, > Rod, SPARK Team My previous posting apparently crossed yours. And yes, there probably is no such thing as bad publicity, but it is frustrating to read the comments on the /. message board. - Mark Lorenzen