isabelle: Changelog

wenzelm [Tue, 21 Oct 2014 20:19:14 +0200] rev 58752

support for begin/end matching;

wenzelm [Tue, 21 Oct 2014 20:18:37 +0200] rev 58751

proper token kind;

wenzelm [Tue, 21 Oct 2014 19:20:48 +0200] rev 58750

added option jedit_structure_limit; tuned signature;

wenzelm [Tue, 21 Oct 2014 17:49:51 +0200] rev 58749

some structure matching, based on line token iterators;

wenzelm [Tue, 21 Oct 2014 15:21:44 +0200] rev 58748

support for structure matching; misc tuning;

wenzelm [Tue, 21 Oct 2014 13:56:42 +0200] rev 58747

tuned rendering;

wenzelm [Tue, 21 Oct 2014 13:21:59 +0200] rev 58746

back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;

wenzelm [Tue, 21 Oct 2014 11:13:16 +0200] rev 58745

tuned;

wenzelm [Tue, 21 Oct 2014 10:58:19 +0200] rev 58744

update_cartouches;

wenzelm [Tue, 21 Oct 2014 10:53:24 +0200] rev 58743

clarified tree root;

isabelle