#1024 (Aug 22, 2017, 12:20:08 AM)

	Changes Adjustments for isabelle-dev/4b8d1df8933b; more material for Bernoulli (detail / hgweb)
	Started by an SCM change
	This run spent: 5.4 sec waiting; 44 min build duration; 44 min total from scheduled to completion.
	Revision: 8d6d64a3a0d222a87dfc90fde19b74d28913e31b

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