#1488 (Feb 26, 2018, 11:22:05 AM)

	Changes generalized (detail / hgweb) moved Lipschitz continuity from AFP/Ordinary_Differential_Equations and AFP/Gromov_Hyperbolicity; moved lemmas from AFP/Gromov_Hyperbolicity/Library_Complements (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 2 sec waiting; 3 hr 14 min build duration; 3 hr 20 min total from scheduled to completion.
	Revision: d97a28a006f9d1aaaa4df1d64407d7bea61a2f5b

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #1488	( 59 min )	Console Output
isabelle-repo-afp	build #1488	( 1 hr 37 min )	Console Output