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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!rutgers!ucsd!ucbvax!ANNA.STANFORD.EDU!mendal
From: mendal@ANNA.STANFORD.EDU (Geoff Mendal)
Newsgroups: comp.lang.ada
Subject: Response to Anna Information Request
Message-ID: <8909292226.AA04429@ajpo.sei.cmu.edu>
Date: 29 Sep 89 22:24:24 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>

I work for Prof. Luckham at Stanford University on the Anna project
and can provide whatever information people need.  Feel free to contact
me with any questions you have.  My phone number in California is
415-723-1414.  The most preferred email address is
mendal@sierra.stanford.edu, though direct requests for Anna information
can be sent to anna-request@anna.stanford.edu.

If people mail me their postal addresses, I'll see to it that some
overall information on Anna is sent.  People interested in acquiring
the Anna toolset can do so by contacting me or through anonymous
FTP on the internet host anna.stanford.edu [36.14.0.13]: cd
to pub/anna, read the file "read.me" and an Anna release is in
the file "anna.tar.Z".

gom

Geoff Mendal                   (415) 723-1414 (voice)
Computer Systems Lab, ERL 456  (415) 725-7398 (fax)
Stanford University            mendal@sierra.stanford.edu (bits)
Stanford, CA  94305
USA