#1436 (Jan 28, 2018, 1:07:07 PM)

	Changes proper signature (amending c4e9e0c50487); (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 3 sec waiting; 50 min build duration; 56 min total from scheduled to completion.
	Revision: 6ff47e27c32d4cf80a09dc12f530b3656465b53e

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1436	( 50 min )	Console Output
isabelle-repo-afp	build #1436	( 4 min 50 sec )	Console Output