#705 (Feb 3, 2017, 1:47:07 AM)

	Changes moved mono_neutral_cong to Isabelle 20a623d03d71 (detail / hgweb)
	Started by an SCM change
	This run spent: 5 sec waiting; 5 min 30 sec build duration; 5 min 35 sec total from scheduled to completion.
	Revision: 068fd59d726fbc45ecc5aeee8f5a7be8f3246ac8

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #705	( 5 min 16 sec )	Console Output