PRE is sometimes called LISTING

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.


Bert
-- 
  Bert Bos                                ( W 3 C ) http://www.w3.org/
  http://www.w3.org/pub/WWW/People/Bos/                      INRIA/W3C
  bert@w3.org                             2004 Rt des Lucioles / BP 93
  +33 93 65 77 71                 06902 Sophia Antipolis Cedex, France

Received on Wednesday, 22 May 1996 16:54:21 UTC