#152 (Apr 15, 2016, 9:01:53 PM)

	Changes add "slow" group to descendants of HOL-Proofs (detail / hgweb)
	Started by an SCM change
	Revision: 7d5ac15ff88ff403476c296a26adc4bdf8d7709c
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #152	( 3 hr 14 min )	Console Output
isabelle-repo-makeall	build #152	( 1 hr 10 min )	Console Output