Diff for /Amaya/amaya/HTMLTT.T between versions 1.53 and 1.54

version 1.53, 2001/03/30 16:06:28 version 1.54, 2001/09/17 13:19:40
Line 1235  ATTRIBUTES Line 1235  ATTRIBUTES
                 BEGIN                  BEGIN
                 END;                  END;
   
    Unknown_attribute:
                   BEGIN
                   END;
   
  xml_space = xml_space_default:   xml_space = xml_space_default:
                 BEGIN                  BEGIN
                 END;                  END;

Removed from v.1.53  
changed lines
  Added in v.1.54


Webmaster