Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from lal.cs.byu.edu (actually leopard.cs.byu.edu !OR! info-hol-request@lal.cs.byu.edu) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Tue, 27 Sep 1994 08:54:46 +0100
Received: by lal.cs.byu.edu (1.38.193.4/16.2) id AA19345;
          Tue, 27 Sep 1994 01:49:18 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from iraun1.ira.uka.de by lal.cs.byu.edu with SMTP (1.38.193.4/16.2) 
          id AA19341; Tue, 27 Sep 1994 01:49:14 -0600
Received: from i80fs2.ira.uka.de by iraun1.ira.uka.de with SMTP (PP);
          Tue, 27 Sep 1994 08:43:29 +0100
Received: from ira.uka.de by i80fs2.ira.uka.de id <29273-0@i80fs2.ira.uka.de>;
          Tue, 27 Sep 1994 08:46:49 +0100
Date: Tue, 27 Sep 94 8:46:47 EST
From: reetz <reetz@ira.uka.de>
To: info-hol@lal.cs.byu.edu
Subject: RE: HOL90 on PC / Moscow ML
Message-Id: <"i80fs2.ira.275:27.09.94.07.46.53"@ira.uka.de>

>There are also CAML and Moscow ML ports for Linux, it would be nice to see
>a re-implementation of HOL90 in one of these light-weight MLs.

As far as I know, Moscow ML does currently not have modules, and it is
expected take another year to get modules implemented in Moscow ML.
Without modules, I personally can`t see how to get a HOL90.x Version
on Moscow ML in an easy way (see faq comp.lang.ml).

[rumors on]
I`ve heard that a beta-version of SML/NJ is now running under Windows (NT?).
That might be an alternative for people who do not want to have DOS/Windows
AND Linux on their PC (as me ;-)
[rumors off]

>to get it.  Then ftp down the latest HOL90 and make it using explicit 
>Opath names rather than letting it figure out the current directory for itsself

In my experience, there is also a problem with loading libraries. I
finally did it manually once and saved it into an image file.

>Be warned, most fast PCs  will run HOL88 quite well, but few peole 
>(including me with 20M of RAM) have a PC with enough memory to run HOL90
>effectively

I`ve 20Mb of RAM, too, but I'm still unsatisfied. I recommend even more
memory, if you are doing ``big'' things, e.g. heavily use of libraries,...
Regarding speed, I own an outdated 486/33Mhz and that`s roughly the same
as SPARC IPX, so IMHO speed is not the problem.

Ralf

(**************************************************************)
(*                                                            *)
(*  Ralf Reetz                                                *)
(*                                                            *)
(*  University of Karlsruhe                                   *)
(*  Institut fuer Rechnerentwurf und Fehlertoleranz           *)
(*  76128 Karlsruhe, Zirkel 2, Postfach 6980, Germany         *)
(*                                                            *)
(*  e-mail: reetz@ira.uka.de                                  *)
(*  WWW:    http://goethe.ira.uka.de/people/reetz/reetz.html  *)
(*                                                            *)
(**************************************************************)