2016-10-24 wenzelm [Mon, 24 Oct 2016 12:01:36 +0200] rev 64369
proper Admin tool;
Admin/lib/Tools/makedist src/Pure/Admin/news.scala src/Pure/System/isabelle_tool.scala src/Pure/Tools/news.scala src/Pure/build-jars

2016-10-24 wenzelm [Mon, 24 Oct 2016 11:48:32 +0200] rev 64368
tuned message;
src/Pure/Admin/check_sources.scala

2016-10-24 wenzelm [Mon, 24 Oct 2016 11:42:39 +0200] rev 64367
updated for release;
src/Tools/jEdit/src/Isabelle.props

2016-10-24 wenzelm [Mon, 24 Oct 2016 11:10:17 +0200] rev 64366
updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
Admin/components/components.sha1 Admin/components/main

2016-10-24 paulson <lp15@cam.ac.uk> [Mon, 24 Oct 2016 14:32:07 +0100] rev 64365
Merge

2016-10-24 paulson <lp15@cam.ac.uk> [Mon, 24 Oct 2016 14:31:05 +0100] rev 64364
"subgoal" examples
src/HOL/Auth/Yahalom.thy src/HOL/Auth/Yahalom2.thy

2016-10-24 eberlm <eberlm@in.tum.de> [Mon, 24 Oct 2016 13:50:12 +0200] rev 64363
Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
CONTRIBUTORS NEWS

2016-10-23 wenzelm [Sun, 23 Oct 2016 16:44:17 +0200] rev 64362
more readable output: whitespace is insignificant in HTML;
src/Pure/Thy/html.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 16:37:59 +0200] rev 64361
misc tuning and clarification;
src/Pure/Admin/build_release.scala

2016-10-23 wenzelm [Sun, 23 Oct 2016 15:25:48 +0200] rev 64360
modernized;
src/Pure/Admin/build_release.scala