src/Tools/jEdit/src/jedit/isabelle_markup.scala
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;