#799 (Apr 6, 2017, 2:17:08 PM)

	Changes Adapted to isabelle 590c1a53c78d (detail / hgweb)
	Started by an SCM change
	This run spent: 5.7 sec waiting; 1 hr 2 min build duration; 1 hr 2 min total from scheduled to completion.
	Revision: c0dda0b6848f70a42d120dbfef8fb31604abe4c8

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