#37 (Feb 25, 2016, 2:59:12 PM)

	Changes Conformal_mappings: a big development in complex analysis (+ some lemmas) (detail / hgweb)
	Started by an SCM change
	Revision: 86f27b264d3da58b3bda4aeee579b1e042d3a002
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #37	( 2 hr 54 min )	Console Output
isabelle-repo-makeall	build #37	( 1 hr 0 min )	Console Output