#562 (Nov 17, 2016, 2:08:11 PM)

	Changes adapted Stable_Matching to Isabelle devel (thanks for the comments!) (detail / hgweb)
	Started by an SCM change
	This run spent: 8.2 sec waiting; 12 min build duration; 13 min total from scheduled to completion.
	Revision: a47dee63e525c98446d2f5206a073fcd1181ab5b
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #562	( 12 min )	Console Output