Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 19 Jun 1995 22:51:40 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA030936992;
          Mon, 19 Jun 1995 15:23:12 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from bobcat.cs.byu.edu by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA030906991;
          Mon, 19 Jun 1995 15:23:12 -0600
Received: from cs.byu.edu (LOCALHOST) 
          by bobcat.cs.byu.edu (1.37.109.15/CS-Client) id AA003656993;
          Mon, 19 Jun 1995 15:23:13 -0600
Message-Id: <199506192123.AA003656993@bobcat.cs.byu.edu>
To: info-hol@cs.byu.edu
Subject: HOL90 on Mac
Date: Mon, 19 Jun 1995 15:23:13 -0600
From: Phil Windley <windley@cs.byu.edu>


Does anytone have HOL90 built using the Mac SML/NJ compiler?  I got both
and tried some obvious stuff, but it didn't work.  is there some special
incantation I have to do?  Can I just get a binary somewhere?

--phil--