Status

Changes

Console Output

View Build Information

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 1 mo ago

Took 1 hr 25 min on worker4

#216 (Jun 1, 2016, 3:44:16 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 216
	Revision: 82552b478356e598d6b07669f45973a079694c97