#808 (Apr 8, 2017, 11:11:08 AM)

	Changes path_len → ipl (detail / hgweb) further adapted to Isabelle/457e4fbed731 (detail / hgweb)
	Started by an SCM change
	This run spent: 5.3 sec waiting; 13 min build duration; 13 min total from scheduled to completion.
	Revision: a317e761831146f0cbb9e47ca3fe48af557cd65f
	Resume build

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