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 22 min on workermta2

#349 (Aug 6, 2016, 11:27:14 AM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 349
	Revision: 854402aa9374948fb1685e63c9e368cc7ae1414b
	Revision: dcaa82cdc31bbb0a9ed1092765888467048d0254