#63 (Mar 3, 2016, 5:10:16 PM)

	Changes made Nitpick more robust (detail / hgweb)
	Started by an SCM change
	Revision: ff99681b3fd818a28af586490c0cdd3d1e6d8103
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #63	( 3 hr 3 min )	Console Output
isabelle-repo-makeall	build #63	( 54 min )	Console Output