Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0)
          id <05725-0@swan.cl.cam.ac.uk>; Fri, 28 Feb 1992 17:10:24 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20088;
          Fri, 28 Feb 92 08:43:17 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA20054;
          Fri, 28 Feb 92 08:43:09 -0800
Received: from pochard.cl.cam.ac.uk by swan.cl.cam.ac.uk
          with SMTP (PP-6.0) to cl id <04925-0@swan.cl.cam.ac.uk>;
          Fri, 28 Feb 1992 16:45:39 +0000
To: info-hol@edu.uidaho.cs.ted
Cc: Inder.Dhingra@uk.ac.cam.cl
Subject: HOL on VMS?
Date: Fri, 28 Feb 92 16:45:21 +0000
From: Inder Dhingra <Inder.Dhingra@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.930:28.01.92.16.45.43"@cl.cam.ac.uk>


Has anyone got HOL working on a VAX running VMS?
Or know of anyone else who might have tried?

Any help would be welcome.

Thanks,

 -- Inder Dhingra.