| Thu, 03 Apr 2008 21:23:38 +0200 | wenzelm | tuned comments; | changeset | files |
| Thu, 03 Apr 2008 21:23:37 +0200 | wenzelm | further cleanup of XML signature; | changeset | files |
| Thu, 03 Apr 2008 21:23:36 +0200 | wenzelm | output: canonical argument order (as opposed to write); | changeset | files |
| Thu, 03 Apr 2008 18:42:42 +0200 | wenzelm | XML.string_of; | changeset | files |
| Thu, 03 Apr 2008 18:42:41 +0200 | wenzelm | moved output_markup to xml.ML; | changeset | files |
| 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 |