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; Fri, 24 Dec 1993 08:27:29 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA03842; Fri, 24 Dec 1993 00:40:41 -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.8/16.2) id AA03838; Fri, 24 Dec 1993 00:40:40 -0700 Received: from localhost by panther.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA03474; Fri, 24 Dec 1993 00:40:20 -0700 To: info-hol@leopard.cs.byu.edu Subject: HOL Documentation Server back up Date: Fri, 24 Dec 1993 00:40:19 -0700 From: Phil Windley Message-ID: <"swan.cl.cam.:082410:931224082857"@cl.cam.ac.uk> The machine that mails info-hol and serves the HOL documentation was having disk problems, but they have now been fixed. If you have been unable to connect, our apologies. There may have been a few info-hol items that were lost (never sent) early this week. Unfortunately, its impossible for me to know. If you sent something and didn't see it, plese resend it. Sorry for any inconvinience. --phil-- Phillip J. Windley, Asst. Professor | windley@cs.byu.edu Laboratory for Applied Logic | Dept. of Computer Science, TMCB 3370 | Brigham Young University | Phone: 801.378.3722 Provo UT 84602-6576 | Fax: 801.378.7775