#129 (Apr 4, 2016, 5:53:09 PM)

	Changes Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results (detail / hgweb)
	Started by an SCM change
	Revision: 313d3b697c9a4724fc2e8d01ef6d021f6ed02b4a
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #129	( 3 hr 35 min )	Console Output
isabelle-repo-makeall	build #129	( 1 hr 14 min )	Console Output