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; Mon, 29 Mar 1993 17:47:55 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA28941; Mon, 29 Mar 93 08:17:58 -0800 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 AA28936; Mon, 29 Mar 93 08:17:39 -0800 Received: from albatross.cl.cam.ac.uk (user sk (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.4) to cl; Mon, 29 Mar 1993 17:16:56 +0100 To: val@com.netcom (Dewey Val Schorre) Cc: info-hol@edu.uidaho.cs.ted, Sara.Kalvala@uk.ac.cam.cl Subject: Re: Beginners Questions In-Reply-To: Your message of Mon, 29 Mar 93 05:45:03 -0800. <9303291345.AA28769@netcom2.netcom.com> Date: Mon, 29 Mar 93 17:16:45 +0100 From: Sara Kalvala Message-Id: <"swan.cl.ca.810:29.03.93.16.17.09"@cl.cam.ac.uk> > From: val@netcom.com (Dewey Val Schorre) >... Often, however, I'm trying to write >a program of my own and I want to find the pre-defined ML identifiers >that are related to my problem. Is there a list of the Pre-defined ML >identifers that are grouped together in a logical way? The KEYWORD fields in the HOL documentation field were put in as data for another xholhelp-like tool for accessing documentation. However, I haven't been able to come up with a good design for such a tool. I have been thinking of something along the lines of "xdir", which is an X utility for browsing directories. I wouldn't mind hearing suggestions from any of you on how such a tool would work. But, I definitely think it is time I do something about the KEYWORDs! - Sara