#1567 (May 7, 2018, 11:43:59 PM)

	Changes accomodate changes in Isabelle rev. 493b818e8e10 (detail / hgweb)
	Started by an SCM change
	This run spent: 7.8 sec waiting; 3 hr 28 min build duration; 3 hr 28 min total from scheduled to completion.
	Revision: f0b5c34b4a85167a05b56b377174b2227301cc28

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1567	( 1 hr 46 min )	Console Output