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,7fb807868446d767
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-22 01:22:20 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!RRZ.Uni-Koeln.DE!uni-duisburg.de!zib-berlin.de!news.mathworks.com!news.ultranet.com!news.sprintlink.net!bighorn.accessnv.com!usenet
From: jfj (John Fountain, Jr.)
Newsgroups: comp.lang.ada
Subject: Re: ADA context sensitive editor
Date: Wed, 22 Mar 95 02:24:53 GMT
Organization: accessnv.com
Distribution: world
Message-ID: <3ko29v$f1d@bighorn.accessnv.com>
References: <1995Mar11.224426.23566@nntp.brisnet.org.au>
 <86681A57372@annwfn.com> <1995Mar20.094234@lglsun.epfl.ch>
 <3knpgo$odd@rational.rational.com>
NNTP-Posting-Host: bighorn
X-Newsreader: News Xpress Version 1.0 Beta #2.1
Date: 1995-03-22T02:24:53+00:00
List-Id: <comp.lang.ada>

how about Ada-Assured.  It does all those things and even gives LRM references.

jfj