src/Pure/General/xml.scala
Mon, 07 Dec 2009 00:02:07 +0100 wenzelm toString: more robust handling of null;
Sun, 06 Dec 2009 22:22:48 +0100 wenzelm added auxiliary constructors;
Fri, 04 Dec 2009 14:21:07 +0100 wenzelm added document_node;
less more (0) -10 -3 tip