#1053 (Aug 31, 2017, 2:17:10 PM)

	Changes moved Splay_Map here from HOL/Data_Structures (detail / hgweb)
	Started by an SCM change
	This run spent: 7.9 sec waiting; 5 min 10 sec build duration; 5 min 18 sec total from scheduled to completion.
	Revision: d21425963587ae54e1d5020bfa45c8dd2ebbbf20

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1053	( 4 min 36 sec )	Console Output