isabelle: Changelog

wenzelm [Wed, 01 Apr 2015 15:41:08 +0200] rev 59891

added isabelle build option -k, for fast off-line checking of theory sources;

wenzelm [Wed, 01 Apr 2015 13:32:32 +0200] rev 59890

tuned signature;

wenzelm [Wed, 01 Apr 2015 11:55:23 +0200] rev 59889

tuned message;

wenzelm [Wed, 01 Apr 2015 10:35:43 +0200] rev 59888

tuned signature;

wenzelm [Tue, 31 Mar 2015 23:42:57 +0200] rev 59887

more visibility flags on background naming;

wenzelm [Tue, 31 Mar 2015 22:31:05 +0200] rev 59886

support for explicit scope of private entries;

wenzelm [Tue, 31 Mar 2015 21:12:22 +0200] rev 59885

subtle change of long-standing name space policy: unknown entries are treated as hidden, consequently "private" is understood in the strict sense;

wenzelm [Tue, 31 Mar 2015 20:18:10 +0200] rev 59884

tuned signature;

wenzelm [Tue, 31 Mar 2015 20:07:37 +0200] rev 59883

tuned signature;

wenzelm [Tue, 31 Mar 2015 19:39:05 +0200] rev 59882

tuned -- avoid exotic Name_Space.defined_entry;

isabelle