#907 (May 19, 2017, 8:20:07 PM)

	Changes Adapted JinjaThreads to isabelle-dev/81574a7e7c38 (detail / hgweb)
	Started by an SCM change
	This run spent: 5 sec waiting; 2 min 27 sec build duration; 2 min 32 sec total from scheduled to completion.
	Revision: b16a7901aafbfecd34f81a8e173810caf216e95b

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #907	( 2 min 14 sec )	Console Output