#179 (May 10, 2016, 7:52:10 PM)

	Changes some slight generalizations (detail / hgweb)
	Started by an SCM change
	Revision: e9ad90ce926c4bbfa15538396871b962946a4c24
	Resume build

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