#180 (May 10, 2016, 11:15:56 PM)

	Changes find dynamic facts as well, but static ones are preferred; tuned; (detail / hgweb)
	Started by an SCM change
	Revision: 8326aa594273ccaea5290e879707443d984cb8e9
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #180	( 3 hr 48 min )	Console Output
isabelle-repo-makeall	build #180	( 1 hr 22 min )	Console Output