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,6feac9228cfd0643,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-17 01:07:32 PST
Path: 
 bga.com!news.sprintlink.net!cs.utexas.edu!uwm.edu!spool.mu.edu!torn!hermes.acs.ryerson.ca!jupiter!jvenditt
From: jvenditt@jupiter.scs.Ryerson.CA (John Venditti)
Newsgroups: comp.lang.ada
Subject: Anna for Ada - Specifications Lang
Date: 17 Mar 1995 08:41:45 GMT
Organization: School of Computer Science, Ryerson Polytechnic University
Message-ID: <3kbi09$108g@hermes.acs.ryerson.ca>
NNTP-Posting-Host: jupiter.scs.ryerson.ca
X-Newsreader: TIN [version 1.2 PL2]
Date: 1995-03-17T08:41:45+00:00
List-Id: <comp.lang.ada>


	I was wondering if anyone has any info on   ANNA - A specifications
program for Ada.  If so, could you please email me the info.  Thanks

John