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 10 mo ago

Took 1 hr 21 min on workermta1

#361 (Aug 10, 2016, 11:00:16 AM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 361
	Revision: f9f3006a5579b2b686eaa1b2f0f2979c13aacad8
	Revision: 04681a49e7038ae26d3c8d3079b0a122f1e01805