#850 (Apr 22, 2017, 8:35:11 PM)

	Changes clarified parent session images, to avoid duplicate loading of theories; tuned; (detail / hgweb)
	Started by an SCM change
	This run spent: 8.7 sec waiting; 43 min build duration; 44 min total from scheduled to completion.
	Revision: 3125f39e2840ce5457bec7bc49d38f8fc6b804d4

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