#65 (Mar 4, 2016, 5:38:10 PM)

	Changes take qualification of type name more seriously: derived consts and facts are qualified uniformly; (detail / hgweb)
	Started by an SCM change
	Revision: 702085ca85648014ef4b57699fb772c7bc9892db
	Resume build

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