Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl id <13088-0@swan.cl.cam.ac.uk>; Wed, 6 Nov 1991 17:22:31 +0000 Received: by ted.cs.uidaho.edu (15.11/1.34) id AA09135; Wed, 6 Nov 91 07:49:21 pst Reply-To: info-hol@ted Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@ted.cs.uidaho.edu Received: from uu.psi.com by ted.cs.uidaho.edu (15.11/1.34) id AA09131; Wed, 6 Nov 91 07:49:12 pst Received: from port15.boston.pub-ip.psi.net by uu.psi.com (5.65b/4.0.071791-PSI/PSINet) id AA02961; Wed, 6 Nov 91 10:45:15 -0500 Received: from (manjusri) by ely (4.1/SMI-4.1) id AA14584; Wed, 6 Nov 91 10:00:23 EST Received: from oxford by (4.1/SMI-4.1) id AA23789; Wed, 6 Nov 91 09:56:57 EST Date: Wed, 6 Nov 91 09:56:57 EST From: heff@com.oracorp.cambridge (Allan Heff) Message-Id: <9111061456.AA23789@> To: info-hol@edu.uidaho.cs.ted Subject: xholhelp alternatives Is there a program to read the HOL reference manual on sun-tools windows, similar to 'xholhelp' for x-windows? Allan Heff heff@cambridge.oracorp.com