Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Wed, 27 Jan 1993 14:20:18 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA07780; Wed, 27 Jan 93 05:53:30 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA07775; Wed, 27 Jan 93 05:53:17 -0800 Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) id AA11405; Wed, 27 Jan 93 08:52:32 EST Date: Wed, 27 Jan 93 08:52:26 EST From: shb@com.oracorp Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA10498; Wed, 27 Jan 93 08:52:26 EST Message-Id: <9301271352.AA10498@sparta.oracorp.com> To: info-hol@edu.uidaho.cs.ted Subject: Web for ML/SML? I gather from a report by International Computers Ltd. that there exist literate-programming tools -- web, tangle, weave -- for SML. Are any such tools publicly available? Are there similar publicly available tools for HOL88 ML? Steve Brackin ORA