isabelle: Changelog

blanchet [Mon, 28 Apr 2014 00:54:30 +0200] rev 56766

more reliable 'name_of_bnf'

blanchet [Mon, 28 Apr 2014 00:54:30 +0200] rev 56765

cleaner 'rel_inject' theorems

wenzelm [Sun, 27 Apr 2014 19:32:55 +0200] rev 56764

modernized Isabelle classpath for graphview;

wenzelm [Sun, 27 Apr 2014 13:35:18 +0200] rev 56763

tuned;

wenzelm [Sat, 26 Apr 2014 22:57:51 +0200] rev 56762

merged

wenzelm [Sat, 26 Apr 2014 22:51:21 +0200] rev 56761

NEWS;

wenzelm [Sat, 26 Apr 2014 22:43:22 +0200] rev 56760

tuned message;

wenzelm [Sat, 26 Apr 2014 22:35:19 +0200] rev 56759

proper handling of shared zoom component: update layout dynamically;

wenzelm [Sat, 26 Apr 2014 21:49:31 +0200] rev 56758

PIDE support for find_consts;

wenzelm [Sat, 26 Apr 2014 21:16:50 +0200] rev 56757

some rearrangements to support multiple find operations;

isabelle