#154 (Apr 17, 2016, 4:05:10 PM)

	Changes remove "slow" session tags (detail / hgweb)
	Started by an SCM change
	Revision: d0dfdd413a7f6a9f281574029cea29353406d8c5

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #154	( 3 hr 21 min )	Console Output
isabelle-repo-makeall	build #154	( 1 hr 29 min )	Console Output