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=0.1 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,FREEMAIL_REPLY autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: 103376,47db824a8f4cc7e3
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!novia!transit4.readnews.com!news-out.readnews.com!postnews3.readnews.com!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: SPARK Pro Launched
From: "Peter C. Chapin" <pcc482719@gmail.com>
References: 
 <e012ff09-1d6e-42ce-ac77-ce4c3364da3f@z15g2000yqm.googlegroups.com>
Message-ID: <Xns9BDB457C87EA9pcc482719gmailcom@198.186.192.137>
User-Agent: Xnews/5.04.25
Date: 27 Mar 2009 10:49:52 GMT
Organization: SoVerNet (sover.net)
NNTP-Posting-Host: a9b13652.news.sover.net
X-Trace: 
 DXC=8C\X>XE<P53hjHo25L]4D1K6_LM2JZB_3;4KGZ=1YeU13?@`i3kGa5;2nbeCo2?jA=`Zl2ojQRn8;
X-Complaints-To: abuse@sover.net
X-Original-Bytes: 1077
Xref: g2news1.google.com comp.lang.ada:4365
Date: 2009-03-27T10:49:52+00:00
List-Id: <comp.lang.ada>

roderick.chapman@googlemail.com wrote in news:e012ff09-1d6e-42ce-ac77-
ce4c3364da3f@z15g2000yqm.googlegroups.com:

> See
>  http://www.adacore.com/2009/03/24/spark-pro/
> and
>  http://www.adacore.com/home/products/sparkpro/
> 
> GPL and GAP releases will follow in due
> course.

This sounds great. I will definitely pass this information on to my student 
who is working with SPARK.

Peter