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 } |