#1625 (May 26, 2018, 5:43:13 PM)

	Changes Add previously unused theory to ROOT (detail / hgweb) Fix broken proofs (detail / hgweb)
	Started by an SCM change
	This run spent: 8.7 sec waiting; 11 min build duration; 11 min total from scheduled to completion.
	Revision: ebbdf07a80b66d14cd2013a982651ef3c709ff99

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1625	( 10 min )	Console Output