#685 (Jan 12, 2017, 3:24:07 PM)

	Changes Parity_Game: Add missing LaTeX package amssymb (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 3 min 55 sec build duration; 4 min 1 sec total from scheduled to completion.
	Revision: b9c76e5931aeed5ffbef0eb6b0b8c38c39900140

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