Tue, 12 Jul 2011 20:11:00 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
Tue, 12 Jul 2011 19:49:35 +0200 | wenzelm | clarified YXML.detect; | changeset | files |
Tue, 12 Jul 2011 19:47:40 +0200 | wenzelm | retain some terminology of "XML attributes"; | changeset | files |