src/Tools/jEdit/src/isabelle_rendering.scala
2012-10-01 wenzelm 2012-10-01 report sort assignment of visible type variables;
2012-09-24 wenzelm 2012-09-24 more explicit keyword1/keyword2 markup -- avoid potential conflict with input token markup produced by Token_Marker;
2012-09-21 wenzelm 2012-09-21 more realistic sendback: pick exec_id from message position and text from buffer;
2012-09-21 wenzelm 2012-09-21 some support for hovering and sendback area;
2012-09-21 wenzelm 2012-09-21 less rendering (cf. 28bd0709443a) -- avoid conflict with static token markup of different keyword kinds;
2012-09-20 wenzelm 2012-09-20 clarified message background;
2012-09-20 wenzelm 2012-09-20 tuned rendering;
2012-09-18 wenzelm 2012-09-18 more rendering;
2012-09-18 wenzelm 2012-09-18 pass base_snapshot to enable hyperlinks into other nodes; clarified "def" positions: refrain from renaming properties; clarified snapshot.is_output vs. output and hyperlinks;
2012-09-18 wenzelm 2012-09-18 more explicit message markup and rendering;
2012-09-17 wenzelm 2012-09-17 somewhat more general JEdit_Lib; tuned signatures;
2012-09-14 wenzelm 2012-09-14 clarified markup names;
2012-09-14 wenzelm 2012-09-14 more static handling of rendering options;
2012-09-14 wenzelm 2012-09-14 tuned options (again);
2012-09-12 wenzelm 2012-09-12 avoid spaces in markup names, which might cause problems in boundary situations (e.g. HTML class);
2012-09-11 wenzelm 2012-09-11 provide color values via options;
2012-09-10 wenzelm 2012-09-10 manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-09-05 wenzelm 2012-09-05 proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e;
2012-09-05 wenzelm 2012-09-05 added tooltip to reveal jEdit platform file name;
2012-08-31 wenzelm 2012-08-31 avoid empty tooltips;
2012-08-31 wenzelm 2012-08-31 more markup for failed goal forks, reusing "bad";
2012-08-31 wenzelm 2012-08-31 further refinement of command status, to accomodate forked proofs;
2012-08-24 wenzelm 2012-08-24 prefer jEdit file name representation (potentially via VFS); tuned;
2012-08-24 wenzelm 2012-08-24 more precise counting of line/column;
2012-08-24 wenzelm 2012-08-24 support for direct hyperlinks, without the Hyperlinks plugin;
2012-08-11 wenzelm 2012-08-11 clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards);
2012-08-10 wenzelm 2012-08-10 sneak message into "bad" markup as property -- to be displayed after YXML parsing;
2012-08-10 wenzelm 2012-08-10 clarified undefined, unparsed, unfinished command spans; common reparse_spans, diff_commands; some support for consolidate_spans after change of perspective;
2012-08-10 wenzelm 2012-08-10 more visible markup of malformed input as "bad";
2012-04-18 wenzelm 2012-04-18 render last ML_TYPING only -- relevant for inline antiquotations like @{term};
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;