| Thu, 03 Apr 2008 18:42:40 +0200 | wenzelm | XML.output_markup; | changeset | files |
| Thu, 03 Apr 2008 18:42:39 +0200 | wenzelm | XML.string_of, XML.parse; | changeset | files |
| Thu, 03 Apr 2008 18:42:38 +0200 | wenzelm | replaced ETX/EOT by ENQ/ACK, which are less likely to be interpreted by tty etc.; | changeset | files |