W3C home > Mailing lists > Public > www-amaya@w3.org > April to June 1996

Re: PRE is sometimes called LISTING

From: Daniel Veillard <Daniel.Veillard@imag.fr>
Date: Wed, 22 May 1996 21:13:43 +0200
Message-Id: <199605221913.VAA07582@praslin.inrialpes.fr>
To: Bert Bos <Bert.Bos@sophia.inria.fr>
Cc: www-amaya@hatutu.inrialpes.fr
>I selected a PRE element and added a style attribute. I then tried the
>menu item `create class', which offered `LISTING' as the default name
>for the class, instead of PRE.

  Ok, it's corrected !

Daniel
Received on Wednesday, 22 May 1996 21:13:49 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:22 UTC