src/Tools/jEdit/src/isabelle_hyperlinks.scala
2012-01-14 wenzelm 2012-01-14 tuned comment;
2012-01-12 wenzelm 2012-01-12 improved select_markup: include filtering of defined results;
2012-01-10 wenzelm 2012-01-10 clarified Isabelle_Rendering vs. physical painting; discontinued slightly odd object-oriented Markup_Tree.Cumulate/Select;
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-12 wenzelm 2011-11-12 index markup elements for more efficient cumulate/select operations;
2011-11-12 wenzelm 2011-11-12 tuned signature; express select in terms of cumulate;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-31 wenzelm 2011-08-31 maintain name of *the* enclosing node as part of command -- avoid full document traversal;
2011-08-30 wenzelm 2011-08-30 tuned signature;
2011-08-30 wenzelm 2011-08-30 some support for hyperlinks between different buffers; tuned signature;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-30 wenzelm 2011-06-30 prefer Isabelle path algebra;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;