#1220 (Oct 15, 2017, 6:46:03 PM)

	Changes proper argument; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 0 sec waiting; 54 min build duration; 59 min total from scheduled to completion.
	Revision: f5cd84280b7ac0e89d53802c0c67412a6c2e57ee

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1220	( 54 min )	Console Output
isabelle-repo-afp	build #1220	( 3 min 13 sec )	Console Output