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!rpi!zaphod.mps.ohio-state.edu!samsung!think.com!linus!linus!linus!mbunix!emery
From: emery@aries.mitre.org (David Emery)
Newsgroups: comp.lang.ada
Subject: Re: Help with Ada proof needed.
Message-ID: <EMERY.91Mar29113600@aries.mitre.org>
Date: 29 Mar 91 16:36:00 GMT
References: <1991Mar29.002035.1@watt.ccs.tuns.ca>
	<1991Mar29.120624.23454@linus.mitre.org>
Sender: news@linus.mitre.org (News Service)
Organization: The Mitre Corp., Bedford, MA.
In-Reply-To: ljr@mitre.org's message of Fri, 29 Mar 1991 12:06:24 GMT
Nntp-Posting-Host: aries.mitre.org
List-Id: <comp.lang.ada>

I personally do not know of any commercial (i.e. you pay $$ for it)
Ada compiler that is not validated.  It's of course possible now to
call something "Ada" and not have it be validated.  It's also very
unlikely, as the seller would receive major abuse from people who
discovered their Ada programs won't run.

DoD dropped the trademark registration because of a legal opinion that
stated the trademark was not enforcable.  

				dave emery
				emery@aries.mitre.org