Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 11 Nov 1993 22:06:04 +0000 Received: by leopard.cs.byu.edu (1.37.109.7/16.2) id AA20107; Thu, 11 Nov 93 14:54:35 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from panther.cs.byu.edu by leopard.cs.byu.edu with SMTP (1.37.109.7/16.2) id AA20103; Thu, 11 Nov 93 14:54:34 -0700 Received: from localhost by panther.cs.byu.edu with SMTP (1.37.109.7/16.2) id AA13149; Thu, 11 Nov 93 14:54:46 -0700 To: info-hol@leopard.cs.byu.edu Subject: HOL binaries Date: Thu, 11 Nov 1993 14:54:46 -0700 From: Phil Windley Message-ID: <"swan.cl.cam.:174890:931111220651"@cl.cam.ac.uk> I want your HOL binaries! Yes, its true, that AKCL binary for HOL2.01 you have lying around the house picking up dust is worth, well.... its worth a hearty thinks from me. I'm trying to collect working HOL 2.01 binaries compiled with AKCL for a variety of architectures. If you have one and would be willing to take a few minutes, please upload it to ftp://lal.cs.byu.edu/pub/incoming. After you get it there, please let me know that you put it there and what you called it. Please remember to use binary file transfer mode. Cheers, --phil--