#1201 (Nov 8, 2017, 11:29:13 AM)

	Changes HOL-ODE-Examples is no longer slow: timing similar to HOL-ODE-Numerics; (detail / hgweb)
	Started by an SCM change
	This run spent: 6.3 sec waiting; 4 min 36 sec build duration; 4 min 42 sec total from scheduled to completion.
	Revision: 13b56916094794ac359cebde124fdd697b6d04b7
	Resume build

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