Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <08253-0@swan.cl.cam.ac.uk>; Wed, 3 Jun 1992 10:14:51 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA11553; Wed, 3 Jun 92 01:54:56 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from iraun1.ira.uka.de by ted.cs.uidaho.edu (16.6/1.34) id AA11549; Wed, 3 Jun 92 01:54:47 -0700 Message-Id: <9206030854.AA11549@ted.cs.uidaho.edu> Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) id <08654-0@iraun1.ira.uka.de>; Wed, 3 Jun 1992 10:55:15 +0200 To: info-hol@edu.uidaho.cs.ted Subject: FAUST also at HOL-FTP site Date: Wed, 3 Jun 92 8:53:38 GMT From: kumar@de.uka.ira Hi! Yesterday I had posted an announcement of FAUST in info-hol. Phil has been kind to put the file faust.tar.Z, at the HOL ftp site. So the users can now get a copy of FAUST from ted.cs.uidaho.edu (129.101.100.20) also. Our site is also available for users in Europe: i80s12.ira.uka.de (129.13.18.22). We would like to request the users to send us an email stating their address so that we can keep them informed of the changes in FAUST. Cheers, Kumar ******************************************************************************* Ramayya Kumar | email: kumar@ira.uka.de Institut fuer Rechnerentwurf und Fehlertoleranz, | Tel.: +49 (721) 608 4354 Fakultaet fuer Informatik, Universitaet Karlsruhe,| Fax: +49 (721) 370455 P.O. Box 6980, W-7500 Karlsruhe 1, | Germany |