src/Pure/Thy/html.scala
2011-07-07 ago simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
2011-07-05 ago simplified Symbol.iterator: produce strings, which are mostly preallocated;
2011-07-04 ago quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-25 ago type classes: entity markup instead of old-style token markup;
2011-06-22 ago clarified decoded control symbols;
2011-06-21 ago more uniform treatment of recode_set/recode_map;
2011-06-21 ago tuned iteration over short symbols;
2011-06-19 ago tuned;
2011-06-19 ago discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
2011-06-19 ago some unicode chars for special control symbols;
2010-08-22 ago tuned signatures;
2010-08-16 ago HTML.spans: explicit flag for preservation of original data (which would be turned into org.w3c.dom user data in XML.document_node);
2010-08-07 ago simplified some Markup;
2010-08-07 ago simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
2010-05-30 ago added HTML.encode (in Scala), similar to HTML.output in ML;
2010-03-30 ago recovered StringBuilder functionality after subtle change of + and ++ in Scala 2.8.0 Beta 1;
2010-03-29 ago replaced some deprecated methods;
2010-03-29 ago adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2009-12-19 ago refined some Symbol operations/signatures;
2009-12-10 ago sealed XML.Tree;
2009-12-07 ago avoid lazy val with side-effects -- spurious null pointers!?
2009-12-06 ago proper markup text for loc;
2009-12-06 ago basic treatment of special control symbols;
2009-12-06 ago more robust treatment of line breaks -- Java "split" has off semantics;
2009-12-04 ago Basic HTML output.