isabelle: Changelog

wenzelm [Mon, 17 Oct 2016 15:00:46 +0200] rev 64274

re-use "threads" for --gcthreads;

nipkow [Mon, 17 Oct 2016 18:53:45 +0200] rev 64273

merged

nipkow [Mon, 17 Oct 2016 17:33:07 +0200] rev 64272

setprod -> prod

wimmers [Mon, 17 Oct 2016 17:26:54 +0200] rev 64271

merged

Simon Wimmer <wimmers@in.tum.de> [Mon, 17 Oct 2016 15:23:06 +0200] rev 64270

Modified transfer principle in HOL/NSA to cause less ho-unficiation

nipkow [Mon, 17 Oct 2016 14:37:32 +0200] rev 64269

merged

nipkow [Mon, 17 Oct 2016 13:20:38 +0200] rev 64268

updated to setsum -> sum

nipkow [Mon, 17 Oct 2016 11:46:22 +0200] rev 64267

setsum -> sum

wenzelm [Mon, 17 Oct 2016 11:07:01 +0200] rev 64266

uniform Isabelle settings -- avoid picking up different JAVA_HOME;

wenzelm [Sun, 16 Oct 2016 22:43:51 +0200] rev 64265

isabelle build -N;

isabelle