src/Tools/jEdit/src/isabelle_sidekick.scala
2012-03-14 wenzelm 2012-03-14 more explicit indication of swing thread context;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-12 wenzelm 2012-01-12 clarified mkString: no extra line-breaks for XML.Body;
2012-01-07 wenzelm 2012-01-07 accumulate status as regular markup for command range; tuned signature;
2011-12-16 wenzelm 2011-12-16 prefer sorting from Scala library;
2011-11-11 wenzelm 2011-11-11 prefer statically typed Text.Markup;
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-13 wenzelm 2011-08-13 tuned;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;