src/Tools/jEdit/src/isabelle_rendering.scala
2012-01-16 wenzelm 2012-01-16 more careful cumulation of tooltips -- ensure uniform range;
2012-01-16 wenzelm 2012-01-16 tuned;
2012-01-15 wenzelm 2012-01-15 recovered outdated_color (cf. 4beb2f41ed93);
2012-01-15 wenzelm 2012-01-15 more precise rendering of overview_color/gutter_message/squiggly_underline based on cumulation of command status and warning/error messages;
2012-01-15 wenzelm 2012-01-15 tuned signature;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-14 wenzelm 2012-01-14 ignore empty gfx_range; tuned;
2012-01-12 wenzelm 2012-01-12 tuned;
2012-01-12 wenzelm 2012-01-12 improved select_markup: include filtering of defined results;
2012-01-12 wenzelm 2012-01-12 tuned text_color: cumulate with explicit default color;
2012-01-12 wenzelm 2012-01-12 added cat_lines convenience;
2012-01-10 wenzelm 2012-01-10 clarified Isabelle_Rendering vs. physical painting; discontinued slightly odd object-oriented Markup_Tree.Cumulate/Select;
2012-01-09 wenzelm 2012-01-09 command status color via regular markup;
2011-12-01 wenzelm 2011-12-01 clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 wenzelm 2011-11-29 clarified modules;
2011-11-28 wenzelm 2011-11-28 separate module for concrete Isabelle markup;
2011-11-28 wenzelm 2011-11-28 renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;