#1115 (Aug 27, 2017, 11:31:08 AM)

	Changes merged (detail / hgweb) Elimination of some "presume" (detail / hgweb) unscrambled Henstock_lemma_part1 (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 5 sec waiting; 56 min build duration; 1 hr 1 min total from scheduled to completion.
	Revision: b6d04f487ddd68fdfc9c45204e96dca12fa9df92
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #1115	( 28 min )	Console Output
isabelle-repo-makeall	build #1115	( 55 min )	Console Output