src/Pure/PIDE/xml.scala
2015-08-26 wenzelm tuned signature;
2015-05-02 wenzelm misc tuning, based on warnings by IntelliJ IDEA;
2014-08-12 wenzelm tuned;
2014-08-12 wenzelm more compact representation of special string values;
2014-02-20 wenzelm tuned imports;
2013-08-07 wenzelm tuned signature;
2013-05-14 wenzelm tuned signature;
2013-04-09 wenzelm tuned signature;
2013-02-19 wenzelm help JVM to cope with large symbolic structures;
2012-09-28 wenzelm support for wrapped XML elements, which allows to preserve full markup tree information in to_XML/from_XML conversion;
2012-09-27 wenzelm removed obsolete org.w3c.dom operations;
2012-09-20 wenzelm tuned signature;
2012-09-20 wenzelm tuned;
2012-09-18 wenzelm recover order of stacked markup;
2012-09-18 wenzelm some actual rich text markup via XML.content_markup;
2012-03-08 wenzelm simplified -- plain map_index is sufficient (pointed out by Enrico Tassi);
2011-11-29 wenzelm separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm explicit indication of modules for independent Scala library;
2011-09-07 wenzelm XML.cache for partial sharing (strings only);
2011-09-05 wenzelm tuned imports;
2011-09-04 wenzelm simplified signatures;
2011-09-04 wenzelm synchronous XML.Cache without actor -- potentially more efficient on machines with few cores;
2011-09-04 wenzelm moved XML/YXML to src/Pure/PIDE;
less more (0) tip