#228 (Jun 6, 2016, 10:32:32 PM)

	Changes tuned signature (detail / hgweb) more correct exception handling (detail / hgweb) explicit tagging of code equations de-baroquifies interface (detail / hgweb) dropped unused code (detail / hgweb) conventional syntax for unit abstractions (detail / hgweb)
	Started by an SCM change
	Revision: f59fd6cc935e02ee3b548528eb1ccce5ded476b0

Job	Build #	Duration	Console
main
isabelle-repo-afp	build #228	( 4 hr 5 min )	Console Output
isabelle-repo-makeall	build #228	( 1 hr 16 min )	Console Output