#444 (Oct 4, 2016, 1:23:08 PM)

	Changes adapt to Isabelle 9c99fccce3cf (detail / hgweb)
	Started by an SCM change
	This run spent: 5.9 sec waiting; 1 min 7 sec build duration; 1 min 13 sec total from scheduled to completion.
	Revision: 5cc6c4c303de3a2485ebcf5479b9a618ba1e7e27
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #444	( 56 sec )	Console Output