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; Fri, 27 May 1994 14:30:16 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA03824;
          Fri, 27 May 1994 07:14:15 -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 AA03797;
          Fri, 27 May 1994 07:13:58 -0600
Received: from concorde.inria.fr by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA06838;
          Fri, 27 May 1994 06:13:43 -0700
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) 
          by concorde.inria.fr (8.6.9/8.6.9) with SMTP id PAA14572;
          Fri, 27 May 1994 15:13:35 +0200
Received: from localhost.inria.fr by pauillac.inria.fr;
          Fri, 27 May 94 15:13:34 +0200
To: David Shepherd <des@inmos.co.uk>
Cc: 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 13:38:20 +0100. <27500.9405271238@frogland.inmos.co.uk>
Date: Fri, 27 May 1994 15:13:34 +0200
Message-Id: <6273.770044414@pauillac.inria.fr>
From: Chet Murthy <Chet.Murthy@inria.fr>


	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
the GNU project hitching their manual system to anything as unstable_
as HTML and WWW.  Not that I'm knocking WWW - I think its great.  But
its like unix was back in the late 80's - not a good programming
environment for the naive.

--chet--