isabelle: Changelog

paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:59:39 +0100] rev 68138

auto-tidying

paulson [Thu, 10 May 2018 15:41:45 +0100] rev 68137

merged

paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:41:34 +0100] rev 68136

more on infinite products

paulson [Wed, 09 May 2018 23:31:11 +0100] rev 68135

merged

paulson <lp15@cam.ac.uk> [Wed, 09 May 2018 22:11:02 +0100] rev 68134

part tidy-up of Determinants

wenzelm [Wed, 09 May 2018 22:25:24 +0200] rev 68133

less ambitious parallelism, notably for threads=2;

wenzelm [Wed, 09 May 2018 22:04:09 +0200] rev 68132

more informative error, notably for missing executable;

wenzelm [Wed, 09 May 2018 22:03:02 +0200] rev 68131

tuned signature;

wenzelm [Wed, 09 May 2018 20:45:57 +0200] rev 68130

clarified future scheduling parameters, with support for parallel_limit;

wenzelm [Wed, 09 May 2018 19:53:37 +0200] rev 68129

record total number of tasks;

isabelle