#481 (Sep 30, 2016, 3:13:01 PM)

	Changes new material on paths, etc. Also rationalisation (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 0 sec waiting; 2 hr 21 min build duration; 2 hr 26 min total from scheduled to completion.
	Revision: 2aa42596edc3b3756d7f4fa922c55c2ae30a5aab
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #481	( 1 hr 18 min )	Console Output
isabelle-repo-afp	build #481	( 1 hr 9 min )	Console Output