Status

Changes

Console Output

View Build Information

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 2 mo ago

Took 1 hr 15 min on worker4

#142 (Apr 12, 2016, 12:38:20 PM)

	No changes.
	Started by upstream project isabelle-repo build number 142
	Revision: f59ef58f420b71d73dd431d2b21c20e9c547e902