#376 (Aug 16, 2016, 12:15:03 PM)

	Changes Polynomial algebra cleanup (detail / hgweb)
	Started by an SCM change
	Revision: 6209c06d776fa8e2c98925b2b28abe9ca64b1ddf
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #376	( 55 min )	Console Output
isabelle-repo-afp	build #376	( 1 min 41 sec )	Console Output