#61 (Mar 2, 2016, 10:38:08 PM)

	Changes support for ML_exception_debugger; (detail / hgweb)
	Started by an SCM change
	Revision: 5dfcc9697f291c1865d3bd652a94b730a0350503
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #61	( 1 min 26 sec )	Console Output
isabelle-repo-makeall	build #61	( 1 hr 1 min )	Console Output