#1020 (Aug 19, 2017, 6:29:11 AM)

	Changes check all generated theories (detail / hgweb)
	Started by an SCM change
	This run spent: 8 sec waiting; 5 min 23 sec build duration; 5 min 31 sec total from scheduled to completion.
	Revision: b16e37802ad0bf36670bcb076494fde2d7d3ab0a

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1020	( 4 min 49 sec )	Console Output