#189 (May 17, 2016, 8:47:10 AM)

	Changes proper consideration of chained facts in 'try0' minimization (detail / hgweb)
	Started by an SCM change
	Revision: ee8edbcbb4adcd39c456a1cd2197883db1abef7b
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #189	( 1 hr 32 min )	Console Output
isabelle-repo-afp	build #189	( 3 hr 30 min )	Console Output