#78 (Mar 10, 2016, 8:21:24 PM)

	Changes don't throw an exception when trying to print an error message (detail / hgweb) eta-expansion done right in "primcorec" (detail / hgweb)
	Started by an SCM change
	Revision: 8c7301325f9f26efaadf5c1ca002166ccfee0105
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #78	( 3 hr 4 min )	Console Output
isabelle-repo-makeall	build #78	( 1 min 44 sec )	Console Output