src/Tools/jEdit/src/jedit/isabelle_markup.scala
2011-04-17 wenzelm 2011-04-17 markup attributes/methods via name space; eliminated obsolete markup;
2011-04-17 wenzelm 2011-04-17 markup facts via name space; eliminated obsolete markup;
2011-04-17 wenzelm 2011-04-17 eliminated obsolete markup -- superseded by generic "entity" markup;
2011-04-08 wenzelm 2011-04-08 present type variables; tuned;
2011-04-08 wenzelm 2011-04-08 tuned presentation;
2011-04-03 wenzelm 2011-04-03 show more tooltip/sub-expression markup;
2011-04-03 wenzelm 2011-04-03 show tooltip/sub-expression for entity markup;
2011-03-30 wenzelm 2011-03-30 visualize skolem and hilite (undeclared frees); tuned colors;
2011-03-27 wenzelm 2011-03-27 added Markup.Name and Markup.Kind convenience; token_style for entity kind markup;
2011-03-27 wenzelm 2011-03-27 adhoc token style for free/bound;
2010-11-04 wenzelm 2010-11-04 added property "tooltip-margin";
2010-11-04 wenzelm 2010-11-04 clarified tooltips: message output by default, extra info via control/command;
2010-09-28 wenzelm 2010-09-28 basic support for message popups via HTML_Panel; more systematic CONTROL-mouse management; tuned;
2010-09-26 wenzelm 2010-09-26 some markup for inner syntax tokens;
2010-09-25 wenzelm 2010-09-25 more precise treatment of backgrounds vs. rectangles;
2010-09-24 wenzelm 2010-09-24 tuned warning_color;
2010-09-24 wenzelm 2010-09-24 tuned error_color;
2010-09-24 wenzelm 2010-09-24 some attempts to improve visual appearance of bad text;
2010-09-17 wenzelm 2010-09-17 Isabelle_Markup.overview_color: indicate error / warning messages;
2010-09-10 wenzelm 2010-09-10 Isabelle_Markup.tooltip: explicit indication of ML;
2010-09-09 wenzelm 2010-09-09 Isabelle.load_icon with some sanity checks;
2010-09-07 wenzelm 2010-09-07 Document_View: select gutter message icons from markup over line range, not full range results; tuned;
2010-09-07 wenzelm 2010-09-07 moved token markup tables to isabelle_markup.scala;
2010-09-07 wenzelm 2010-09-07 concentrate Isabelle specific physical rendering markup selection in isabelle_markup.scala;