#57 (Mar 1, 2016, 9:47:09 PM)

	Changes load secure.ML earlier; eliminated obsolete ml_parse.ML; tuned signature; (detail / hgweb) clarified modules; (detail / hgweb) clarified modules; (detail / hgweb) ML debugger support in Pure (again, see 3565c9f407ec); (detail / hgweb) use bootstrap compiler earlier; (detail / hgweb)
	Started by an SCM change
	Revision: dd154240a53cea4192b227e1d52ce7770a7c26df
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #57	( 1 min 29 sec )	Console Output
isabelle-repo-makeall	build #57	( 1 hr 0 min )	Console Output