isabelle: Changelog

wenzelm [Tue, 24 Mar 2015 20:07:27 +0100] rev 59801

clarified name;

wenzelm [Tue, 24 Mar 2015 19:43:23 +0100] rev 59800

option to control old-style schematic mode;

wenzelm [Tue, 24 Mar 2015 18:36:29 +0100] rev 59799

clarified role of Name.uu_, which happens to be the internal replacement of the first underscore under certain assumptions about the context;

wenzelm [Tue, 24 Mar 2015 16:17:07 +0100] rev 59798

tuned;

wenzelm [Tue, 24 Mar 2015 16:16:48 +0100] rev 59797

tuned proof;

wenzelm [Tue, 24 Mar 2015 15:57:51 +0100] rev 59796

admit dummy patterns in instantiations; clarified context;

wenzelm [Tue, 24 Mar 2015 11:53:18 +0100] rev 59795

clarified input source;

blanchet [Tue, 24 Mar 2015 18:10:56 +0100] rev 59794

tuning

blanchet [Tue, 24 Mar 2015 18:10:56 +0100] rev 59793

reordered properties

wenzelm [Mon, 23 Mar 2015 23:16:40 +0100] rev 59792

NEWS;

isabelle