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,efe03f20164a417b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-21 13:02:54 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!rz.uni-karlsruhe.de!xlink.net!howland.reston.ans.net!gatech!udel!news.mathworks.com!solaris.cc.vt.edu!swiss.ans.net!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: An observation of Ada (may offend)
Date: 21 Mar 1995 16:02:54 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3knetu$e73@gnat.cs.nyu.edu>
References: <3k00no$8qv@agate.berkeley.edu> <fjm.63.000D29AE@ti.com>
 <3kfg4d$5dc@felix.seas.gwu.edu> <3kiani$i49@gnat.cs.nyu.edu>
 <3kkdfo$763@felix.seas.gwu.edu>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-03-21T16:02:54-05:00
List-Id: <comp.lang.ada>


It would be nice to know who those customers are

says Mike, speaking of Praxis SPARK-Examiner, commercial users.

Actually we discussed at the meeting last week, that this would make
an interesting Ada use/success story, and they thought that several of
their customers would be happy to share in such a project.