Diff for /Amaya/amaya/HTMLT.T between versions 1.111 and 1.112

version 1.111, 2000/08/31 12:42:41 version 1.112, 2000/09/29 12:44:28
Line 2029  ATTRIBUTES Line 2029  ATTRIBUTES
         Remove; { do no output the element content }          Remove; { do no output the element content }
         END;          END;
   
    xml_space = xml_space_default:
            Create ' xml:space="default"';
    xml_space = xml_space_preserve:
            Create ' xml:space="preserve"';
   
 TextTRANSLATE  TextTRANSLATE
         BEGIN          BEGIN
 {       '\42' -> '"'; }    { quotation mark = APL quote, U+0022 ISOnum }  {       '\42' -> '"'; }    { quotation mark = APL quote, U+0022 ISOnum }

Removed from v.1.111  
changed lines
  Added in v.1.112


Webmaster