isabelle: Changelog

wenzelm [Sat, 08 Sep 2018 22:52:12 +0200] rev 68956

tuned message;

wenzelm [Sat, 08 Sep 2018 22:43:25 +0200] rev 68955

more robust test: virtualization may provide misleading information;

wenzelm [Sat, 08 Sep 2018 22:21:19 +0200] rev 68954

implicit use of NUMA policy, absorbing potential errors;

wenzelm [Sat, 08 Sep 2018 22:09:52 +0200] rev 68953

tuned signature;

wenzelm [Sat, 08 Sep 2018 21:54:39 +0200] rev 68952

tuned;

wenzelm [Sat, 08 Sep 2018 21:48:26 +0200] rev 68951

more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;

wenzelm [Sat, 08 Sep 2018 16:55:38 +0200] rev 68950

merged

wenzelm [Sat, 08 Sep 2018 16:52:38 +0200] rev 68949

ensure foundational order of commits, taking Pure as implicit starting point;

wenzelm [Sat, 08 Sep 2018 14:30:31 +0200] rev 68948

more accurate output;

wenzelm [Sat, 08 Sep 2018 13:36:40 +0200] rev 68947

clarified defaults; more uniform treatment of "disabled" case;

isabelle