#1147 (Sep 3, 2017, 4:43:02 PM)

	Changes updated for release; (detail / hgweb) Added tag Isabelle2017-RC1 for changeset 34b20f7236ea (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 0 sec waiting; 1 hr 37 min build duration; 1 hr 42 min total from scheduled to completion.
	Revision: af3cf2c859c1fc9ae7b21bcca3e1f4627d47c4a0

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #1147	( 6 min 28 sec )	Console Output
isabelle-repo-makeall	build #1147	( 52 min )	Console Output