#124 (Apr 2, 2016, 7:52:03 PM)

	Changes tuned LaTeX (detail / hgweb) import package that might help on some machines (e.g., macbroy2) (detail / hgweb)
	Started by an SCM change
	Revision: 19387866eace3e65bceeeda1eece3ba2ac60e0e8
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #124	( 3 hr 12 min )	Console Output
isabelle-repo-makeall	build #124	( 1 hr 10 min )	Console Output