Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 6 Oct 1993 01:35:34 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA23746; Tue, 5 Oct 93 17:14:23 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from panther.cs.byu.edu by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA23742; Tue, 5 Oct 93 17:14:12 -0700 Received: by panther.cs.byu.edu (1.37.109.4/16.2) id AA23881; Tue, 5 Oct 93 18:12:29 -0600 From: Phillip "J." Windley Subject: New service on HOL Documentation Server To: info-hol@cs.uidaho.edu Date: Tue, 5 Oct 93 18:12:28 MDT Mailer: Elm [revision: 70.85] Message-ID: <"swan.cl.cam.:054660:931006003621"@cl.cam.ac.uk> The HOL Documentation server now allows dynamic searches of past info-hol messages. Try it out. To connect, you will need XMosiac (see previous message). The URL is http://lal.cs.byu.edu/lal/hol-documentation.html Please refer any problems to me. Cheers, --phil--