src/Pure/General/xml.scala
Mon, 29 Dec 2008 22:36:56 +0100 wenzelm tuned;
Mon, 29 Dec 2008 22:20:04 +0100 wenzelm override toString method;
Fri, 19 Dec 2008 20:37:29 +0100 wenzelm removed Ids;
Tue, 26 Aug 2008 16:36:30 +0200 wenzelm tuned append;
Sat, 23 Aug 2008 19:42:13 +0200 wenzelm refer to symbolic Markup;
Sat, 23 Aug 2008 17:22:53 +0200 wenzelm tuned;
Sat, 23 Aug 2008 11:48:52 +0200 wenzelm renamed DOM to document, add xml version and optional stylesheets;
Fri, 22 Aug 2008 21:25:19 +0200 wenzelm tuned comments;
Thu, 21 Aug 2008 20:51:41 +0200 wenzelm tuned comment;
Thu, 21 Aug 2008 19:19:31 +0200 wenzelm added iterator over content;
Sun, 17 Aug 2008 21:11:08 +0200 wenzelm Minimalistic XML tree values.
less more (0) tip