#1221 (Oct 15, 2017, 8:49:03 PM)

	Changes more AFP tests; (detail / hgweb) added ml_statistics_step to trim stored properties; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 1 sec waiting; 53 min build duration; 59 min total from scheduled to completion.
	Revision: 740d22146cb63df978f3c372cd0b6a0ce6012c8b

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