src/Pure/Thy/html.scala
2014-11-29 wenzelm 2014-11-29 encode text with control symbols;
2014-04-26 wenzelm 2014-04-26 clarified PIDE modules;
2014-04-26 wenzelm 2014-04-26 tuned imports;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-11-09 wenzelm 2013-11-09 adjust modules for Admin/build jars_test;
2013-03-12 wenzelm 2013-03-12 include session description in chapter index; prefer alphabetical order;
2013-03-12 wenzelm 2013-03-12 discontinued "isabelle usedir" option -r (reset session path); simplified internal session identification: chapter / name; clarified chapter index (of sessions) vs. session index (of theories); discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser); removed obsolete session parent_path;
2013-01-03 wenzelm 2013-01-03 maintain session index on Scala side, for more determistic results; removed unused HTML operations;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-09-28 wenzelm 2012-09-28 support for wrapped XML elements, which allows to preserve full markup tree information in to_XML/from_XML conversion;
2012-09-27 wenzelm 2012-09-27 removed obsolete org.w3c.dom operations;
2012-03-10 wenzelm 2012-03-10 discontinued specific entity markup, which causes confusion with "kind" names with spaces (e.g. "type name"); uniform treatment of "class" entities in input and output;
2011-11-28 wenzelm 2011-11-28 separate module for concrete Isabelle markup;
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-05 wenzelm 2011-07-05 simplified Symbol.iterator: produce strings, which are mostly preallocated; eliminated Symbol.CharSequence complications;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-25 wenzelm 2011-06-25 type classes: entity markup instead of old-style token markup;
2011-06-22 wenzelm 2011-06-22 clarified decoded control symbols;
2011-06-21 wenzelm 2011-06-21 more uniform treatment of recode_set/recode_map; HTML spans with user fonts;
2011-06-21 wenzelm 2011-06-21 tuned iteration over short symbols;
2011-06-19 wenzelm 2011-06-19 tuned;
2011-06-19 wenzelm 2011-06-19 discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
2011-06-19 wenzelm 2011-06-19 some unicode chars for special control symbols;
2010-08-22 wenzelm 2010-08-22 tuned signatures;
2010-08-16 wenzelm 2010-08-16 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 wenzelm 2010-08-07 simplified some Markup;
2010-08-07 wenzelm 2010-08-07 simplified type XML.Tree: embed Markup directly, avoid slightly odd triple; XML.cache_tree: actually store XML.Text as well; added Isabelle_Process.Result.properties;
2010-05-30 wenzelm 2010-05-30 added HTML.encode (in Scala), similar to HTML.output in ML;
2010-03-30 wenzelm 2010-03-30 recovered StringBuilder functionality after subtle change of + and ++ in Scala 2.8.0 Beta 1;
2010-03-29 wenzelm 2010-03-29 replaced some deprecated methods;
2010-03-29 wenzelm 2010-03-29 adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
2009-12-19 wenzelm 2009-12-19 refined some Symbol operations/signatures; added Symbol.Matcher; flexible Scan.Lexicon.symbols, with one/many/many1 variants;
2009-12-10 wenzelm 2009-12-10 sealed XML.Tree; keep original XML.Tree within DOM as user data;
2009-12-07 wenzelm 2009-12-07 avoid lazy val with side-effects -- spurious null pointers!?
2009-12-06 wenzelm 2009-12-06 proper markup text for loc;
2009-12-06 wenzelm 2009-12-06 basic treatment of special control symbols; misc tuning;
2009-12-06 wenzelm 2009-12-06 more robust treatment of line breaks -- Java "split" has off semantics;
2009-12-04 wenzelm 2009-12-04 Basic HTML output.