#596 (Oct 31, 2016, 3:55:06 PM)

	Changes moved contribution to right release (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 4 sec waiting; 1 hr 0 min build duration; 1 hr 5 min total from scheduled to completion.
	Revision: d4829dc875fb4f4bb1348b78ad96b01e9784ae14

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #596	( 2 min 30 sec )	Console Output
isabelle-repo-makeall	build #596	( 1 hr 0 min )	Console Output