#443 (Oct 3, 2016, 6:23:07 PM)

	Changes Density_Compiler: moved to Isabelle (9c99fccce3cf), adapted to (17a20ca86d62) (detail / hgweb)
	Started by an SCM change
	This run spent: 5.1 sec waiting; 1 min 7 sec build duration; 1 min 12 sec total from scheduled to completion.
	Revision: 24b4ab705dfd875deeee7a0b1543b2238c7a7689
	Resume build

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