isabelle: Changelog

wenzelm [Fri, 03 Apr 2015 21:04:56 +0200] rev 59921

obsolete (see 8b7caf447357);

wenzelm [Fri, 03 Apr 2015 20:52:17 +0200] rev 59920

check wrt. proper context, e.g. relevant for 'experiment' target;

wenzelm [Fri, 03 Apr 2015 20:23:19 +0200] rev 59919

clarified name space policy: show less stuff in usual print functions;

wenzelm [Fri, 03 Apr 2015 20:04:16 +0200] rev 59918

unused;

wenzelm [Fri, 03 Apr 2015 19:56:51 +0200] rev 59917

more uniform "verbose" option to print name space;

wenzelm [Fri, 03 Apr 2015 18:36:19 +0200] rev 59916

tuned;

wenzelm [Thu, 02 Apr 2015 20:46:44 +0200] rev 59915

merged

wenzelm [Thu, 02 Apr 2015 20:28:30 +0200] rev 59914

proper treatment of internal method name as already checked Token.src;

wenzelm [Thu, 02 Apr 2015 20:07:32 +0200] rev 59913

tuned signature;

wenzelm [Thu, 02 Apr 2015 20:07:05 +0200] rev 59912

export for informative purposes;

isabelle