Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Tue, 13 Apr 1993 10:33:04 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA21152;
          Tue, 13 Apr 93 02:18:31 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA21147;
          Tue, 13 Apr 93 02:18:21 -0700
Received: from heron.cl.cam.ac.uk (user ww (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) to cl; Tue, 13 Apr 1993 10:17:28 +0100
To: info-hol@edu.uidaho.cs.ted (hol mailing list)
Subject: Re: NOWEB: a small literate programming tool.
In-Reply-To: Your message of Wed, 07 Apr 93 19:52:18 +0100. <199304071752.AA13046@infix.cs.ruu.nl>
Date: Tue, 13 Apr 93 10:17:05 +0100
From: Wai Wong <Wai.Wong@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.407:13.04.93.09.18.07"@cl.cam.ac.uk>


Hi, 
	Since we are on the subject of literate programming tool,
I'd like to announce yet another tool for a similar purpose. The
tool MWEB version 2.0 for multi-language literate programming.
The advantages of this tool are:
	1) highly programmable. Both the input syntax and output
	   format are programmable by the user.
	2) allow multi-language in a single master file. As
	   this tool was developed with applications in formal
	   specification and verification in mind, it allows two
	   different languages in the code part of the master file. 
	   One of these will usually be HOL, the other may be any
	   language, e.g. a hardware description language in which
	   the original design of the circuit is written. The
	   corresponding codes of these two parts can be formatted
	   in two column9side-by-side) in the final document.

This tool have been used in a hardware verification project. It has
been modified, enhanced and adopted for other applications. This
will be distributed in the contrib directory of next version of HOL.
Meanwhile, it can be ftp'ed from ftp.cl.cam.ac.uk (where the HOL
source is distributed) under the directory contrib. A manual is
included in the package.

Wai