#1149 (Sep 4, 2017, 10:49:03 PM)

	Changes tuned signature -- avoid warning during jEdit startup; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 2 sec waiting; 54 min build duration; 59 min total from scheduled to completion.
	Revision: f6a1274be674bddb3e196d9c640c4404863b7b70

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1149	( 54 min )	Console Output
isabelle-repo-afp	build #1149	( 3 min 19 sec )	Console Output