isabelle: Changelog

wenzelm [Mon, 06 Jun 2016 14:16:25 +0200] rev 63234

clarified focus_defs vs. focus_refs, e.g. relevant for @{here} where this overlaps;

wenzelm [Mon, 06 Jun 2016 11:50:13 +0200] rev 63233

tuned;

wenzelm [Mon, 06 Jun 2016 10:34:56 +0200] rev 63232

less redundant exploration of full name space;

wenzelm [Mon, 06 Jun 2016 08:36:03 +0200] rev 63231

tuned;

wenzelm [Mon, 06 Jun 2016 08:13:07 +0200] rev 63230

avoid multiple reports on shared type;

wenzelm [Sat, 04 Jun 2016 16:54:23 +0200] rev 63229

updated to recent changes of Poly/ML directory layout;

wenzelm [Sat, 04 Jun 2016 16:23:42 +0200] rev 63228

tuned;

wenzelm [Sat, 04 Jun 2016 16:10:44 +0200] rev 63227

Integer.lcm normalizes the sign as in HOL/GCD.thy; tuned;

wenzelm [Fri, 03 Jun 2016 22:27:01 +0200] rev 63226

support for .scala tools;

hoelzl [Thu, 02 Jun 2016 17:47:47 +0200] rev 63225

move ennreal and ereal theorems from MFMC_Countable

isabelle