#779 (Mar 16, 2017, 9:11:09 AM)

	Changes adjust Word_Lib for isabelle 75f2aa8ecb12 (detail / hgweb)
	Started by an SCM change
	This run spent: 7.5 sec waiting; 20 min build duration; 20 min total from scheduled to completion.
	Revision: 0fde68ce04da834705f73ffdd087e08697384b37

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