#1279 (Nov 5, 2017, 4:31:05 PM)

	Changes updated comments; (detail / hgweb) updated to scala-2.12.4; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 1 sec waiting; 1 hr 37 min build duration; 1 hr 42 min total from scheduled to completion.
	Revision: bab3208d8d37b005f4850502c0f70c6d28555307

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1279	( 1 hr 0 min )	Console Output
isabelle-repo-afp	build #1279	( 1 hr 37 min )	Console Output