#888 (May 4, 2017, 10:23:09 PM)

	Changes Merged (detail / hgweb) Adapted to isabelle-dev 33368a2296aa (detail / hgweb)
	Started by an SCM change
	This run spent: 7 sec waiting; 17 min build duration; 17 min total from scheduled to completion.
	Revision: dc8042bb6e2cb54bbcc06c246c7691f319e49322

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