isabelle: Changelog

wenzelm [Tue, 21 Oct 2014 21:20:45 +0200] rev 58756

ignore improper tokens to avoid ambiguity of Range.touches (assuming that relevant tokens are separated properly);

wenzelm [Tue, 21 Oct 2014 21:02:36 +0200] rev 58755

support for proof structure matching;

wenzelm [Tue, 21 Oct 2014 20:45:05 +0200] rev 58754

tuned;

wenzelm [Tue, 21 Oct 2014 20:44:17 +0200] rev 58753

tuned;

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;

isabelle