Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <00868-0@swan.cl.cam.ac.uk>; Tue, 16 Jun 1992 08:44:02 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA17835; Tue, 16 Jun 92 00:35:49 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from anu.anu.edu.au by ted.cs.uidaho.edu (16.6/1.34) id AA17830; Tue, 16 Jun 92 00:35:41 -0700 Received: from mehta (mehta.anu.edu.au) by anu.anu.edu.au (4.1/SMI-4.1) id AA16481; Tue, 16 Jun 92 17:36:17 EST Received: by mehta (4.1/SMI-4.1) id AA18584; Tue, 16 Jun 92 17:37:47 EST Date: Tue, 16 Jun 92 17:37:47 EST From: symdchon@au.edu.anu.mehta (donald syme ) Message-Id: <9206160737.AA18584@mehta> To: info-hol@edu.uidaho.cs.ted Subject: HOL88 ML Syntax Checkers Dear all, Just wondering if anyone out there has got a program to do syntax checking on ML files using the HOL88 ML variant. Just something which picks up bad syntax without having to run HOL would be great! Many thanks, Donald Syme symdchon@cs.anu.edu.au