2014-03-05 ago clarified init_assignable: make double-sure that initial values are reset;
2014-03-03 ago recovered position hyperlinks from 65c9968286d5 (NB: "def" position vs. regular one);
2014-03-03 ago clarified path checks: avoid crash of rendering due to spurious errors;
2014-03-03 ago more precise navigation within open files;
2014-03-03 ago tuned signature;
2014-03-03 ago tuned signature;
2014-03-02 ago clarified names of antiquotations and markup;
2014-03-01 ago clarified language markup: added "delimited" property;
2014-03-01 ago tuned signature -- separate module Font_Info;
2014-03-01 ago tuned;
2014-03-01 ago font size change with delay, to avoid GUI lagging behind user input;
2014-03-01 ago tuned signature -- more explicit Document.Elements;
2014-02-27 ago simplified rendering -- no need to over-emphasize "token_range";
2014-02-26 ago markup for method combinators;
2014-02-25 ago tuned signature;
2014-02-25 ago more completion rendering: active, semantic, syntactic;
2014-02-25 ago tuned;
2014-02-24 ago clarified painting of invisible caret, e.g. focus change due to popup;
2014-02-24 ago tuned messages;
2014-02-23 ago clarified stretch_point_range wrt. UTF-16 surrogates;
2014-02-23 ago tuned;
2014-02-23 ago some rendering of completion range;
2014-02-23 ago clarified completion names;
2014-02-22 ago support for semantic completion on Scala side;
2014-02-22 ago refined language context: antiquotes;
2014-02-21 ago tuned signature -- avoid redundancy and confusion of flags;
2014-02-21 ago more general / abstract Command.Markups, with separate index for status elements;
2014-02-21 ago more lightweight Rendering;
2014-02-21 ago tuned signature;
2014-02-20 ago tuned comments;
2014-02-20 ago complete symbols within ML strings / comments;
2014-02-20 ago tuned;
2014-02-20 ago clarified markup cumulation order (see also 25306d92f4ad and 0009a6ebc83b), e.g. relevant for completion_context;
2014-02-20 ago cumulate/select wrt. precise elements guard;
2014-02-20 ago tuned;
2014-02-20 ago default completion context via outer syntax;
2014-02-20 ago completion of keywords and symbols based on language context;
2014-02-18 ago generic markup for embedded languages;
2014-02-17 ago hyperlink for visible positions;
2014-02-17 ago more markup;
2014-02-16 ago more uniform rendering of text that is formally interpreted: avoid clash with inner markup;
2014-02-16 ago support ML antiquotations in Scala;
2014-02-15 ago more uniform ML keyword markup;
2014-02-15 ago tuned;
2014-02-15 ago refined ML keyword styles;
2014-02-15 ago isabelle-ml mode with separate token marker;
2014-02-04 ago interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2014-01-18 ago support for nested text cartouches;
2013-12-09 ago added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-11-19 ago clarified boundary cases of Document.Node.Name;
2013-09-11 ago more explicit indication of 'done' as proof script element;
2013-09-02 ago more explicit indication of 'guess' as improper Isar (aka "script") element;
2013-08-29 ago more abstract Completion_Popup.Text_Area;
2013-08-27 ago determine completion geometry like tooltip;
2013-08-12 ago manage hyperlinks via PIDE editor interface;
2013-08-07 ago more elementary list structures for markup tree traversal;
2013-08-07 ago tuned signature;
2013-08-07 ago more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness;
2013-08-05 ago tuned signature;
2013-07-13 ago more rendering for information messages;