isabelle: Changelog

wenzelm [Wed, 02 Sep 2015 20:14:19 +0200] rev 61090

more thorough transfer;

wenzelm [Wed, 02 Sep 2015 19:53:49 +0200] rev 61089

clarified context;

wenzelm [Wed, 02 Sep 2015 19:47:37 +0200] rev 61088

more thorough transfer;

wenzelm [Wed, 02 Sep 2015 19:47:16 +0200] rev 61087

clarified context;

wenzelm [Wed, 02 Sep 2015 18:14:10 +0200] rev 61086

tuned message;

wenzelm [Wed, 02 Sep 2015 17:25:14 +0200] rev 61085

trim context for persistent storage;

wenzelm [Wed, 02 Sep 2015 16:52:36 +0200] rev 61084

trim context for persistent storage;

wenzelm [Wed, 02 Sep 2015 16:44:17 +0200] rev 61083

eliminated old 'defs';

wenzelm [Wed, 02 Sep 2015 16:01:57 +0200] rev 61082

expose locale definition to normal user-namespace (for completion, query etc.) -- in contrast to 149f80f27c84, ba9f52f56356, f7d9c5e5d2f9;

wenzelm [Wed, 02 Sep 2015 15:49:12 +0200] rev 61081

clarified vacuous binding;

isabelle