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, 10 Nov 1994 11:20:55 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA08148; Thu, 10 Nov 1994 04:11:48 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from tuminfo2.informatik.tu-muenchen.de by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA08142; Thu, 10 Nov 1994 04:08:48 -0700 Received: by tuminfo2.informatik.tu-muenchen.de via suspension id <326468-1>; Thu, 10 Nov 1994 12:00:01 +0100 Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) by tuminfo2.informatik.tu-muenchen.de with SMTP id <326454-1>; Thu, 10 Nov 1994 11:58:13 +0100 Received: by sunbroy14.informatik.tu-muenchen.de id <8082>; Thu, 10 Nov 1994 11:57:59 +0100 From: Konrad Slind To: info-hol@leopard.cs.byu.edu Subject: Announcement of hol90, version 7 release Message-Id: <94Nov10.115759met.8082@sunbroy14.informatik.tu-muenchen.de> Date: Thu, 10 Nov 1994 11:57:46 +0100 A new release of hol90 is available from Munich and Bell Labs. How to get it. -------------- The hol90 sources are available by anonymous ftp from ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/slind/hol90/hol90.7.tar.gz or research.att.com/dist/ml/hol90/hol90.7.tar.gz To build hol90, one must have the SML/NJ compiler, version 0.93. (Later versions of the SML compiler will not serve, without hacking, because they have various bugs and incompatible changes.) The installation guide in the hol90 sources gives an HTML link to the SML/NJ compiler distribution at Bell Labs. An example session would be % ftp ftp.informatik.tu-muenchen.de Connected to dsrbg2.informatik.tu-muenchen.de. 220 dsrbg2 FTP server (Version 6.10 Wed Mar 4 03:23:45 MET 1992) ready. Name (ftp:slind): anonymous 331 Guest login ok, send e-mail address as password. Password: . < a banner appears > . 230 Guest login ok, access restrictions apply. ftp> cd local/lehrstuhl/nipkow/slind/hol90 250 CWD command successful. ftp> binary 200 Type set to I. ftp> get hol90.7.tar.gz . . . ftp> quit % Once you have hol90.7.tar.gz, it can be unpacked by gunzip hol90.tar.gz; tar xf hol90.7.tar This gives a directory hol90.7, with various subdirectories. When unpacked and built the system takes about 45 Megabytes. The installation guide is in the file "install.html" in the directory hol90.7/doc.