#1324 (Jan 14, 2018, 3:47:10 AM)

	Changes PCF: add SmallStep also tune up existing proofs (detail / hgweb)
	Started by an SCM change
	This run spent: 6.7 sec waiting; 4 min 12 sec build duration; 4 min 19 sec total from scheduled to completion.
	Revision: 4523f28fc586a3d09da8feb409a4dfd39f23b4c6

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