Tue, 10 Aug 2010 23:03:48 +0200 | wenzelm | type XML.Body as basic data representation language (Scala version); | changeset | files |
Tue, 10 Aug 2010 22:26:23 +0200 | wenzelm | type XML.body as basic data representation language; | changeset | files |
Tue, 10 Aug 2010 20:13:52 +0200 | wenzelm | renamed YXML.binary_text to YXML.escape_controls to emphasize what it actually does; | changeset | files |
Tue, 10 Aug 2010 18:24:16 +0200 | wenzelm | added string_bytes convenience; | changeset | files |
Tue, 10 Aug 2010 18:23:12 +0200 | wenzelm | tuned; | changeset | files |
Tue, 10 Aug 2010 15:12:45 +0200 | wenzelm | removed obsolete methods for (ML) commands; | changeset | files |