#1435 (Mar 5, 2018, 5:47:08 PM)

	Changes merge (detail / hgweb) adapt to isabelle dev (detail / hgweb)
	Started by an SCM change
	This run spent: 5 sec waiting; 35 min build duration; 35 min total from scheduled to completion.
	Revision: ac52637d010873c2167b486b4f556b5421ba63a7

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