Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl id <11775-0@swan.cl.cam.ac.uk>; Mon, 7 Oct 1991 15:38:24 +0100 Received: from [128.232.0.56] by ted.cs.uidaho.edu (15.11/1.34) id AA19557; Mon, 7 Oct 91 07:26:09 pdt Received: from scaup.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP) to cl id <00451-0@swan.cl.cam.ac.uk>; Mon, 7 Oct 1991 09:20:21 +0100 Received: by scaup.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA29774; Mon, 7 Oct 91 09:20:14 BST Date: Mon, 7 Oct 91 09:20:14 BST From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9110070820.AA29774@scaup.cl.cam.ac.uk> To: info-hol@edu.uidaho.cs.ted Subject: HOL Version 2.0 HOL88 Version 2.0 ================= The University of Cambridge Computer Laboratory is pleased to announce the release of the HOL88 system Version 2.0. The core system contains bugfixes and minor optimisations since version 1.12. There are several new libraries and some of the old ones have been revised and documented. The release includes a new edition of the documentation. The reference manual is complete and doubles as on-line help. An X-windows browing tool is provided for easy access. A suite of HOL training materials is also provided with the distribution. It is intended that the core system will remain fairly stable for some time after this release. But users are warned that significant changes are likely to be made in the library area. The system is available via anonymous ftp from ted.cs.uidaho.edu. Distribution on Sun cartridge (150 Mb), HP cartridge, DEC TK50 cartridge, and magnetic tape is available from the University of Cambridge at the following address: University of Cambridge Computer Laboratory ATTN: HOL Distribution New Museums Site Pembroke Street Cambridge CB2 3QG ENGLAND Please send the media of your choice along with appropriate funds for return postage in pounds sterling. Please ensure that no handling or customs charges are incurred by the Computer Laboratory.