#725 (Feb 16, 2017, 2:29:12 PM)

	Changes Improve readability of document for Differential_Dynamic_Logic (detail / hgweb)
	Started by an SCM change
	This run spent: 9.4 sec waiting; 37 min build duration; 37 min total from scheduled to completion.
	Revision: 20d2a76c2d9996c6642b39f9b16293e6b7f6a518

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #725	( 7 min 13 sec )	Console Output