2016-01-02 wenzelm [Sat, 02 Jan 2016 16:15:28 +0100] rev 62037
avoid downloading contrib again;
Admin/lib/Tools/makedist_bundle

2016-01-02 wenzelm [Sat, 02 Jan 2016 15:18:38 +0100] rev 62036
provide server name uniformly on all platforms;
Admin/Linux/Isabelle.run Admin/lib/Tools/makedist_bundle src/Doc/JEdit/JEdit.thy src/Pure/Tools/main.scala src/Tools/jEdit/etc/settings

2016-01-02 wenzelm [Sat, 02 Jan 2016 13:29:34 +0100] rev 62035
more symbols;
src/HOL/Library/Monad_Syntax.thy

2016-01-02 wenzelm [Sat, 02 Jan 2016 13:22:46 +0100] rev 62034
NEWS;
NEWS

2016-01-01 wenzelm [Fri, 01 Jan 2016 22:13:24 +0100] rev 62033
keep platform bundle for reference, e.g. for headless installation;
Admin/lib/Tools/makedist_bundle

2016-01-01 wenzelm [Fri, 01 Jan 2016 19:52:00 +0100] rev 62032
keep generic archive for all platforms -- required for Admin/Release/build_library;
Admin/lib/Tools/makedist_bundle

2016-01-01 wenzelm [Fri, 01 Jan 2016 19:42:48 +0100] rev 62031
oops;
NEWS

2016-01-01 wenzelm [Fri, 01 Jan 2016 16:51:04 +0100] rev 62030
Added tag Isabelle2016-RC0 for changeset e18444532fce
.hgtags

2016-01-01 wenzelm [Fri, 01 Jan 2016 16:50:04 +0100] rev 62029
tuned;
ANNOUNCE

2016-01-01 wenzelm [Fri, 01 Jan 2016 16:40:47 +0100] rev 62028
updated for release;
ANNOUNCE