![]() ![]() | ![]() |
version 1.48, 2000/08/30 16:43:21 | version 1.49, 2000/09/29 12:44:28 |
---|---|
Line 1230 ATTRIBUTES | Line 1230 ATTRIBUTES |
BEGIN | BEGIN |
END; | END; |
xml_space = xml_space_default: | |
BEGIN | |
END; | |
xml_space = xml_space_preserve: | |
BEGIN | |
END; | |
TextTRANSLATE | TextTRANSLATE |
BEGIN | BEGIN |
'\240' -> ' '; { } | '\240' -> ' '; { } |