#147 (Apr 14, 2016, 12:26:07 PM)

	Changes tuned; (detail / hgweb) clarified modules; (detail / hgweb) tuned; (detail / hgweb) back to exact copy of non-text file (amending dcc8e1d34b18); explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES; (detail / hgweb)
	Started by an SCM change
	Revision: f17602cbf76a12b53afad49bed941ec67f2467e6

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