#27 (Feb 19, 2016, 5:36:55 PM)

	Changes moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist"; (detail / hgweb)
	Started by an SCM change
	Revision: 7b5468422352fd106a4d305c7aec73d3e90bea5c
	Resume build

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