#729 (Feb 17, 2017, 3:02:13 PM)

	Changes Define weak modality (using disjunction) and derive (rather than postulate) its semantics (detail / hgweb)
	Started by an SCM change
	This run spent: 9.8 sec waiting; 19 min build duration; 19 min total from scheduled to completion.
	Revision: df890a63c1faa44510471cf646c051209c831456

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #729	( 5 min 27 sec )	Console Output