Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Fri, 4 Dec 1992 15:14:33 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA24733; Fri, 4 Dec 92 06:54:34 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from ux6.tfl.dk by ted.cs.uidaho.edu (16.6/1.34) id AA24728; Fri, 4 Dec 92 06:54:28 -0800 Received: by ux6.tfl.dk (/\==/\ Smail3.1.24.1 #24.1) id ; Fri, 4 Dec 92 15:53 MET Message-Id: Date: Fri, 4 Dec 92 15:53 MET From: kimdam@dk.tfl (Kim Dam Petersen) To: info-hol@edu.uidaho.cs.ted Subject: hol90 for new jersey ml version 0.92 It was told at the HUG 92 meeting in Leuven that a version of HOL based on *standard* ML was in progress. Is this version completed, and -- if so -- where can one get it? It seems that version 0.92 of New Jersey ML includes the features of pretty- printing and syntax extension, implemented by Konrad. Is there a version of hol90 that executes using NJ-SML 0.92, and where? Regards Kim Dam Petersen (kimdam@tfl.dk)