#209 (May 28, 2016, 2:51:32 AM)

	Changes tuned proofs; (detail / hgweb) tuned proofs; (detail / hgweb)
	Started by an SCM change
	Revision: d4f459eb7ed044715abc2106885050acfda16193
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #209	( 4 hr 3 min )	Console Output
isabelle-repo-makeall	build #209	( 1 hr 16 min )	Console Output