#1209 (Nov 12, 2017, 9:47:11 PM)

	Changes proper whitespace according to "isabelle check_sources"; (detail / hgweb)
	Started by an SCM change
	This run spent: 9 sec waiting; 4 min 10 sec build duration; 4 min 19 sec total from scheduled to completion.
	Revision: ebeeb7e6156849451966b11ee7e4bee36dc39305
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1209	( 3 min 35 sec )	Console Output