#1215 (Oct 11, 2017, 11:11:11 PM)

	Changes back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50); (detail / hgweb) reactivated unfinished tool (cf. a3a847c4fbdb); (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 1 sec waiting; 54 min build duration; 59 min total from scheduled to completion.
	Revision: c04f46a6f29d7222a8d336fa5d2643f39c10ae50

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