#1308 (Jan 11, 2018, 1:14:11 PM)

	Changes Brought Mason_Stothers and Median_of_Medians_Selection up to speed with isabelle-dev (detail / hgweb)
	Started by an SCM change
	This run spent: 9.2 sec waiting; 8 min 37 sec build duration; 8 min 47 sec total from scheduled to completion.
	Revision: 2b98a8f281fea9dad5b85720105a723590740f5c
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1308	( 8 min 25 sec )	Console Output