src/Pure/General/yxml.scala
Mon, 25 Aug 2008 20:01:17 +0200 wenzelm simplified exceptions: use plain error function / RuntimeException;
Sat, 23 Aug 2008 23:07:41 +0200 wenzelm renamed Markup.MALFORMED to Markup.BAD;
Sat, 23 Aug 2008 19:42:14 +0200 wenzelm added parse_failsafe;
Thu, 21 Aug 2008 22:06:17 +0200 wenzelm parse_attrib: proper index of name end!
Thu, 21 Aug 2008 21:42:16 +0200 wenzelm tuned parse performance: avoid splitting terminal Y chunk;
Thu, 21 Aug 2008 21:27:07 +0200 wenzelm parse_attrib: more efficient due to indexOf('=');
Thu, 21 Aug 2008 20:53:31 +0200 wenzelm replaced Pattern.split by chunks iterator (more efficient, resembles ML version more closely);
Sun, 17 Aug 2008 21:11:06 +0200 wenzelm Efficient text representation of XML trees.
less more (0) tip