Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from iris.eecs.ucdavis.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl
          id <16593-0@swan.cl.cam.ac.uk>; Thu, 10 Oct 1991 09:19:45 +0100
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.7.0) id AA18838;
          Thu, 10 Oct 91 00:58:32 -0700
Received: from tfl.dk by danpost.uni-c.dk (5.65/1.34) id AA10636;
          Thu, 10 Oct 91 07:58:56 GMT
Received: from ux6.tfl.dk (130.227.226.23) by tfl.dk;
          Thu, 10 Oct 91 08:58 GMT+0100
Received: by ux6.tfl.dk (5.57/Ultrix3.0-C) id AA06164;
          Thu, 10 Oct 91 08:03:39 +0100
Date: Thu, 10 Oct 91 08:03:39 +0100
From: kimdam%ux6.BITNET@edu.cuny.cunyvm
Subject: HOL90 -- for anden gang
To: info-hol@iris.eecs.ucdavis.edu
Message-Id: <9110100703.AA06164@ux6.tfl.dk>
X-Envelope-To: info-hol@iris.eecs.ucdavis.edu

-- Because of mailing problems this message is re-transmitted.

Hi,

The version of NJSML (sml) needed for building hol90 only executes on
Sun 3 systems.

Hence, a description on how to build an NJSML for hol90 executable on
other systems is desirable.

Regards
        Kim Dam Petersen        (E-mail: kimdam@tfl.dk)

PS  I am interested in running hol90 on a Dec Station 3100.
But I guess other people would like it for other systems.