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-Thread: a07f3367d7,b90aed4391a5846b
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!c1g2000yqi.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Choices for modelling binary packet protocol in SPARK
Date: Tue, 21 Jul 2009 07:13:01 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <3d9ef811-9118-4286-ba7f-55d25fba6ace@c1g2000yqi.googlegroups.com>
References: <f07b6888-eb5b-4953-a2c9-5acb5b682f4f@d4g2000yqa.googlegroups.com>
	<ea89c015-6d8d-4ef0-a0ed-f9960a980c99@d4g2000yqa.googlegroups.com>
	<2c560673-0158-4968-b182-5aef9cfe8501@a26g2000yqn.googlegroups.com>
NNTP-Posting-Host: 77.198.58.8
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1248185582 17600 127.0.0.1 (21 Jul 2009 14:13:02
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 21 Jul 2009 14:13:02 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: c1g2000yqi.googlegroups.com; posting-host=77.198.58.8;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:7236
Date: 2009-07-21T07:13:01-07:00
List-Id: <comp.lang.ada>

A link from my old book marks:
http://www.christ-usch-grein.homepage.t-online.de/Ada/Universe.html