#484 (Oct 1, 2016, 12:10:04 PM)

	Changes misc tuning for release; (detail / hgweb) added lemma; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 2 sec waiting; 1 hr 17 min build duration; 1 hr 22 min total from scheduled to completion.
	Revision: ec0fb01c6d50d3699521ded75720946272f04a2a
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #484	( 1 hr 17 min )	Console Output
isabelle-repo-afp	build #484	( 1 hr 14 min )	Console Output