-- --~--~---------~--~----~------------~-------~--~----~--~--~---------~--~
-- Nome: reimplaciar_obsolete
-- http://www.w3.org/TR/REC-html40/appendix/changes.html#h-A.3.1.3
-- Obsolete elements.. The following elements are obsolete: LISTING, PLAINTEXT, and XMP.
-- For all of them, authors should use the PRE element instead
-- --~--~---------~--~----~------------~-------~--~----~--~--~---------~--~
trans("<listing>", "<pre>", false);
trans("</listing>", "</pre>", false);
trans("<plaintext>", "<pre>", false);
trans("</plaintext>", "</pre>", false);
trans("<xmp>", "<pre>", false);
trans("</xmp>", "</pre>", false);