isabelle: Changelog

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;

wenzelm [Tue, 21 Oct 2014 10:00:25 +0200] rev 58742

tuned spacing;

wenzelm [Tue, 21 Oct 2014 09:50:22 +0200] rev 58741

clarified verbatim line breaks, e.g. relevant for Implementation mldecls;

haftmann [Tue, 21 Oct 2014 21:10:44 +0200] rev 58740

turn even into an abbreviation

isabelle