Status

Changes

Console Output

View as plain text

View Build Information

Environment Variables

Mercurial Build Data

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 7 yr 11 mo ago

Took 1 hr 26 min on workermta1

#350 (Aug 6, 2016, 3:03:15 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 350
	Revision: 7fb02cee1cba4f6cfa64717fd720075b4d2890b4
	Revision: dcaa82cdc31bbb0a9ed1092765888467048d0254