src/Tools/jEdit/src/isabelle_rendering.scala
2012-09-12 ago avoid spaces in markup names, which might cause problems in boundary situations (e.g. HTML class);
2012-09-11 ago provide color values via options;
2012-09-10 ago manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-09-05 ago proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e;
2012-09-05 ago added tooltip to reveal jEdit platform file name;
2012-08-31 ago avoid empty tooltips;
2012-08-31 ago more markup for failed goal forks, reusing "bad";
2012-08-31 ago further refinement of command status, to accomodate forked proofs;
2012-08-24 ago prefer jEdit file name representation (potentially via VFS);
2012-08-24 ago more precise counting of line/column;
2012-08-24 ago support for direct hyperlinks, without the Hyperlinks plugin;
2012-08-11 ago clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards);
2012-08-10 ago sneak message into "bad" markup as property -- to be displayed after YXML parsing;
2012-08-10 ago clarified undefined, unparsed, unfinished command spans;
2012-08-10 ago more visible markup of malformed input as "bad";
2012-04-18 ago render last ML_TYPING only -- relevant for inline antiquotations like @{term};
2012-01-16 ago more careful cumulation of tooltips -- ensure uniform range;
2012-01-16 ago tuned;
2012-01-15 ago recovered outdated_color (cf. 4beb2f41ed93);
2012-01-15 ago more precise rendering of overview_color/gutter_message/squiggly_underline based on cumulation of command status and warning/error messages;
2012-01-15 ago tuned signature;
2012-01-14 ago tuned signature;
2012-01-14 ago ignore empty gfx_range;
2012-01-12 ago tuned;
2012-01-12 ago improved select_markup: include filtering of defined results;
2012-01-12 ago tuned text_color: cumulate with explicit default color;
2012-01-12 ago added cat_lines convenience;
2012-01-10 ago clarified Isabelle_Rendering vs. physical painting;
2012-01-09 ago command status color via regular markup;
2011-12-01 ago clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 ago clarified modules;
2011-11-28 ago separate module for concrete Isabelle markup;
2011-11-28 ago renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;