src/Pure/General/xml.scala
Thu, 06 May 2010 22:54:25 +0200 wenzelm added content_length;
Tue, 30 Mar 2010 00:47:52 +0200 wenzelm recovered StringBuilder functionality after subtle change of + and ++ in Scala 2.8.0 Beta 1;
Mon, 29 Mar 2010 22:43:56 +0200 wenzelm adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
less more (0) -10 -3 tip