src/Pure/General/xml.scala
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