Status

Changes

Console Output

View Build Information

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 0 mo ago

Took 1 hr 26 min on worker4

#234 (Jun 9, 2016, 4:35:17 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 234
	Revision: e497387de7af484fcf5d7b7463c91c44b141cf3d