Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Thu, 11 Mar 1993 22:01:17 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA01984; Thu, 11 Mar 93 13:40:25 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA01977; Thu, 11 Mar 93 13:40:07 -0800 Received: from swan.cl.cam.ac.uk by leopard.cs.uidaho.edu (16.7/1.34) id AA03256; Thu, 11 Mar 93 10:20:16 -0800 Received: from scoter.cl.cam.ac.uk (user jvt (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.4) to cl; Thu, 11 Mar 1993 18:09:33 +0000 Received: by scoter.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA00257; Thu, 11 Mar 93 18:09:21 GMT Date: Thu, 11 Mar 93 18:09:21 GMT From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9303111809.AA00257@scoter.cl.cam.ac.uk> To: info-hol@edu.uidaho.cs.ted Subject: Patch Announcement Patch Announcement for HOL Version 2.01 1. Loading of files with a "~" prefix has now been fixed in Common Lisp (particularly AKCL). The patch is available from ftp.cl.cam.ac.uk via anonymous FTP in the directory hvg/contrib/bugfixes/home_dir_expansion. See the READ-ME file in that directory for instructions on applying the patch. 2. Improper initialisation of the library search path when the HOLPATH environment variable is set has now been fixed. This bug exists in both the Franz and Common Lisp versions of the system. The patch is available from ftp.cl.cam.ac.uk via anonymous FTP in the directory hvg/contrib/bugfixes/HOLPATH. See the READ-ME file in that directory for instructions on applying the patch. ------------------------------------------------------------------------------ John Van Tassel | Tel: +44-223-334729 Univ. of Cambridge | Fax: +44-223-334678 Computer Laboratory | Pembroke Street | Email: jvt@cl.cam.ac.uk Cambridge CB2 3QG | England |