#1491 (Feb 28, 2018, 6:49:15 PM)

	Changes merged (detail / hgweb) generalized lemmas about orthogonal transformation (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 4 sec waiting; 2 hr 34 min build duration; 2 hr 39 min total from scheduled to completion.
	Revision: 7b0b0a02b303649475fb11d066bc675c79c6bb0c

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