#48 (Feb 28, 2016, 11:23:20 PM)

	Changes merged (detail / hgweb) clarified; (detail / hgweb) support only polyml-5.3.0 and polyml-5.6; (detail / hgweb) Merged (detail / hgweb) Minor adjustments to euclidean rings (detail / hgweb)
	Started by an SCM change
	Revision: 075ef5ec115c6229b3ed01f7c8290bab4eadceb3
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #48	( 57 min )	Console Output
isabelle-repo-afp	build #48	( 3 hr 4 min )	Console Output