#836 (Apr 20, 2017, 9:44:11 AM)

	Changes Lazy_Case: generate fundef_cong rule (detail / hgweb)
	Started by an SCM change
	This run spent: 8.6 sec waiting; 3 min 37 sec build duration; 3 min 46 sec total from scheduled to completion.
	Revision: 2a50fe4c6bc4905ee218a6e574bcb580f2aed891

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #836	( 3 min 19 sec )	Console Output