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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!ukc!mucs!m1!bevan
From: bevan@cs.man.ac.uk (Stephen J Bevan)
Newsgroups: comp.lang.ada
Subject: ANNA
Message-ID: <BEVAN.91Feb9204541@orca.cs.man.ac.uk>
Date: 9 Feb 91 20:45:41 GMT
Sender: news@cs.man.ac.uk
Distribution: comp
Organization: Department of Computer Science, University of Manchester
List-Id: <comp.lang.ada>

In the little Ada that I've seen (i.e. here in this group and a few
Ada programs that I have access to) I've never seen ANNA[1] being used.

Does anybody actually use ANNA to annotate their programs ?

Stephen J. Bevan		bevan@cs.man.ac.uk

BTW I don't use Ada, as I haven't got a compiler.  I'm waiting for GNU Ada :-)

[1]
@MANUAL{Luckham-etal87,
  TITLE = {ANNA A Language for Annotating Ada Programs},
  AUTHOR = {Luckham, David C. and von Henke, Friedreich W. and
	    Krieg-Br{\"u}ckner, Bernd and Owe, Olaf},
  YEAR = {1987},
  NOTE = {LNCS 260}
}