Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 2 Aug 1994 16:40:49 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA14799;
          Tue, 2 Aug 1994 09:25:07 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA14795;
          Tue, 2 Aug 1994 09:25:05 -0600
Received: from switha.dcs.gla.ac.uk by goggins.dcs.gla.ac.uk 
          with LOCAL SMTP (PP) id <04863-0@goggins.dcs.gla.ac.uk>;
          Tue, 2 Aug 1994 16:11:29 +0100
Received: by switha.dcs.gla.ac.uk (4.1/Dumb) id AA23958;
          Tue, 2 Aug 94 16:11:26 BST
From: tfm@dcs.gla.ac.uk
Message-Id: <9408021511.AA23958@switha.dcs.gla.ac.uk>
To: info-hol@leopard.cs.byu.edu
Cc: tfm@dcs.gla.ac.uk
Subject: new X-windows documentation browser.
Date: Tue, 02 Aug 94 16:11:26 +0100


I have a student working on a new X-windows browser for HOL documentation.
He wants to experiment with something similar to xholhelp but extended with
new features -- for example:

   * browsing/accessing HOL source code
   * accessing pages of the DESCRIPTION
   * searching using patterns

The end product is *not* intended to replace Sara Kalvala's xholhelp program
or Phil Windley's html - but it is hoped that the result will complement
these tools.

I'm posting this now to ask for suggestions for features. Is there something
you wish a browser would do for you?  Let me know, and we'll see if we can
help by incorporating it.

I'm willing to summarize responses to info-hol, if desired.

Tom