Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 27 May 1994 14:53:43 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA03958; Fri, 27 May 1994 07:37:14 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA03954; Fri, 27 May 1994 07:37:10 -0600 Received: from leopard.cs.byu.edu by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA06853; Fri, 27 May 1994 06:36:53 -0700 Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA03951; Fri, 27 May 1994 07:36:53 -0600 Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA01530; Fri, 27 May 1994 07:38:05 -0600 Message-Id: <9405271338.AA01530@jaguar.cs.byu.edu> To: Chet Murthy Cc: David Shepherd , info-hol@cs.uidaho.edu (info-hol mailing list) Subject: Re: help files for hol90 (fwd) In-Reply-To: Your message of Fri, 27 May 1994 15:13:34 +0200. <6273.770044414@pauillac.inria.fr> Date: Fri, 27 May 1994 07:37:52 -0600 From: Phil Windley On Fri, 27 May 1994 15:13:34 +0200 Chet Murthy writes +-------------------- | | DS> at the risk of overturning the applecart ... would it make | DS> sense to use HTML the source language now? | | HTML is a language in a state of flux, to say the least. Texinfo or | LaTeXinfo would be a much more stable choice. Not to mention the fact | that there will inevitably be translators to HTML - I cannot imagine I don't think there any need to change from the current format. I have translators which turn it into HTML and its TExable as well. UNless there's some new feature that people desire in the reference docs, let's stick with the current format. --phil--