2016-10-25 wenzelm [Tue, 25 Oct 2016 12:36:09 +0200] rev 64393
tuned and updated for release;
CONTRIBUTORS

2016-10-25 wenzelm [Tue, 25 Oct 2016 12:23:54 +0200] rev 64392
updated for release;
ANNOUNCE

2016-10-25 wenzelm [Tue, 25 Oct 2016 12:14:17 +0200] rev 64391
tuned;
NEWS

2016-10-25 wenzelm [Tue, 25 Oct 2016 11:55:38 +0200] rev 64390
misc tuning for release;
NEWS

2016-10-24 blanchet [Mon, 24 Oct 2016 22:42:07 +0200] rev 64389
added Nunchaku integration
CONTRIBUTORS NEWS src/HOL/Nunchaku/Nunchaku.thy src/HOL/Nunchaku/Tools/nunchaku.ML src/HOL/Nunchaku/Tools/nunchaku_collect.ML src/HOL/Nunchaku/Tools/nunchaku_commands.ML src/HOL/Nunchaku/Tools/nunchaku_display.ML src/HOL/Nunchaku/Tools/nunchaku_model.ML src/HOL/Nunchaku/Tools/nunchaku_problem.ML src/HOL/Nunchaku/Tools/nunchaku_reconstruct.ML src/HOL/Nunchaku/Tools/nunchaku_tool.ML src/HOL/Nunchaku/Tools/nunchaku_translate.ML src/HOL/Nunchaku/Tools/nunchaku_util.ML src/HOL/ROOT

2016-10-24 wenzelm [Mon, 24 Oct 2016 21:14:38 +0200] rev 64388
merged
Admin/PIDE/README Admin/PIDE/convert

2016-10-24 wenzelm [Mon, 24 Oct 2016 20:57:58 +0200] rev 64387
version provided by web server;
Admin/PLATFORMS

2016-10-24 wenzelm [Mon, 24 Oct 2016 20:52:27 +0200] rev 64386
proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;
Admin/Windows/Cygwin/isabelle/postinstall

2016-10-24 wenzelm [Mon, 24 Oct 2016 20:13:01 +0200] rev 64385
unused;
Admin/PIDE/README Admin/PIDE/convert

2016-10-24 blanchet [Mon, 24 Oct 2016 20:58:07 +0200] rev 64384
tuned documentation
src/Doc/Corec/Corec.thy src/Doc/manual.bib